Key Generation -- ML-KEM-1024
z: 7AF65022E0A472ED6388638EA29D82DA68B4CF9FFDF2B67CD708EA5A370C6A7C
d: 7AF65022E0A472ED6388638EA29D82DA68B4CF9FFDF2B67CD708EA5A370C6A7C

rho: 30052337ACA7C8521AB44F1E2A049B83E0774C96CD8C876FA675D0923977271B
sigma: 889827B5C3F8C203A48974ECF1CAD9CB2BFE5F87EBA26F585BBF02AC89176D2A

aHat: [[[1652, 2709, 763, 2938, 1546, 2812, 478, 1643, 2699, 3011, 80, 152, 2846, 2573, 2671, 382, 1188, 1272, 2324, 1034, 1267, 1818, 2144, 2478, 2843, 2676, 2244, 1278, 2717, 2408, 1897, 2639, 2481, 781, 2925, 1506, 7, 1056, 2984, 2660, 3088, 2597, 578, 1579, 628, 3025, 2972, 2376, 3307, 1208, 1112, 2414, 2516, 286, 2978, 2668, 614, 2095, 370, 724, 2983, 2724, 1214, 728, 551, 826, 2744, 2417, 1999, 1540, 1055, 378, 1369, 2764, 3108, 2801, 1962, 373, 1856, 2283, 324, 834, 2121, 556, 1, 2100, 2203, 591, 2729, 2066, 1406, 2540, 2258, 2177, 2625, 1717, 791, 2880, 836, 2708, 905, 651, 811, 154, 262, 1018, 3009, 60, 1648, 92, 840, 1552, 2757, 1412, 1897, 1441, 983, 1683, 3313, 1330, 1288, 1630, 2284, 3144, 1038, 3244, 1610, 354, 1945, 1578, 2309, 1091, 1881, 2674, 1253, 905, 2869, 1686, 2600, 82, 1434, 2382, 2771, 87, 663, 1390, 1547, 2663, 1989, 5, 1488, 882, 3131, 933, 1649, 1516, 1832, 141, 1582, 1438, 2470, 716, 151, 781, 3045, 3312, 2271, 3090, 1235, 761, 3272, 1157, 1707, 2185, 66, 1214, 655, 430, 1771, 2217, 2222, 741, 358, 2928, 1325, 3222, 2696, 818, 1342, 825, 1070, 2540, 374, 2469, 2990, 2717, 1272, 2211, 878, 1355, 173, 2303, 2390, 2158, 1532, 829, 2634, 811, 1838, 812, 841, 760, 3151, 2392, 2594, 3217, 561, 3163, 37, 529, 3170, 2221, 3191, 1694, 873, 1880, 2071, 2460, 1896, 140, 2316, 2480, 1419, 1261, 3184, 31, 1114, 1447, 3318, 2221, 1601, 2732, 1451, 504, 2698, 80, 716, 2138, 2815, 387, 2871, 2115, 1732, 3062, 7, 2013],
[1814, 3075, 1364, 2326, 2782, 1230, 1232, 3219, 2519, 287, 972, 562, 908, 217, 1149, 1377, 117, 2774, 3169, 2260, 1907, 2670, 997, 2736, 2936, 3288, 1602, 563, 1987, 1760, 405, 939, 1338, 58, 3053, 597, 188, 122, 2583, 3121, 2142, 1170, 1294, 27, 2263, 2034, 1286, 2297, 27, 2873, 2087, 3118, 786, 1370, 271, 1822, 2446, 1803, 1262, 3283, 2316, 2874, 666, 322, 1288, 1377, 2592, 1481, 1902, 3026, 2224, 1162, 412, 62, 1255, 1701, 646, 2379, 984, 1324, 86, 1394, 3159, 3217, 297, 3214, 1775, 224, 1211, 1689, 3219, 1238, 2832, 1472, 780, 791, 2068, 2175, 512, 1092, 3179, 1491, 1925, 1155, 1475, 1718, 1518, 2788, 2326, 1701, 290, 1324, 1269, 69, 1429, 1600, 2173, 2777, 3232, 1623, 62, 1683, 495, 1874, 1180, 2961, 1213, 515, 2100, 2066, 956, 2085, 2189, 2267, 1718, 28, 127, 2729, 1719, 1773, 855, 1141, 3278, 2240, 2496, 2034, 1352, 2506, 1490, 1826, 2498, 2023, 1520, 3215, 3279, 2406, 2761, 1950, 678, 408, 488, 2901, 2410, 1445, 2383, 1429, 644, 3033, 1460, 2388, 374, 2267, 1380, 63, 172, 2726, 803, 1599, 1886, 1025, 1569, 2498, 524, 3227, 2984, 1514, 44, 2340, 2516, 2693, 2254, 1294, 2879, 1998, 2702, 242, 1931, 1111, 3182, 682, 2301, 2044, 1972, 380, 90, 405, 1024, 1188, 866, 1395, 505, 2727, 1152, 3231, 412, 1908, 2840, 2030, 2785, 2578, 3305, 1310, 2011, 388, 1321, 12, 1264, 1758, 274, 900, 1998, 1261, 1271, 3265, 540, 36, 1910, 2520, 213, 352, 283, 139, 0, 363, 2048, 1945, 2466, 2287, 3085, 1636, 996, 2390, 3156, 2946, 113, 2175],
[1514, 2850, 3241, 3269, 252, 2471, 2422, 2055, 2274, 1913, 2400, 2995, 1555, 3061, 3285, 3116, 1030, 82, 3145, 1455, 2641, 1402, 1888, 3293, 1285, 2872, 891, 2921, 2097, 1545, 2014, 1326, 2677, 1729, 1590, 2450, 2907, 2271, 1668, 865, 1278, 2849, 2672, 2257, 1484, 2148, 900, 700, 2760, 2472, 685, 2963, 3257, 1272, 2867, 1589, 2955, 3263, 2704, 774, 3118, 584, 568, 3061, 2231, 3201, 229, 2718, 3062, 584, 2849, 2412, 694, 2647, 640, 3270, 390, 2610, 664, 1495, 2429, 3053, 2549, 2419, 818, 2609, 2339, 2026, 1548, 1134, 2454, 2876, 2505, 2552, 378, 1157, 831, 816, 3166, 1638, 3104, 976, 2329, 2103, 4, 764, 1211, 2090, 3229, 2114, 2933, 60, 2659, 1302, 1511, 2460, 786, 1183, 1358, 1956, 3287, 1821, 1273, 912, 2532, 2368, 1188, 2003, 1173, 3293, 236, 1869, 1242, 3291, 2992, 1419, 3117, 2527, 1453, 2844, 2778, 2646, 2881, 2216, 559, 2669, 772, 1769, 694, 2330, 1002, 1417, 2725, 729, 3306, 1594, 2677, 2035, 3155, 727, 727, 2996, 1625, 1651, 699, 799, 2698, 2601, 2737, 1563, 3098, 335, 680, 12, 1980, 702, 2465, 979, 983, 1048, 2206, 1920, 2646, 2249, 2964, 2629, 298, 2961, 421, 2314, 2903, 321, 2198, 1927, 338, 1780, 1364, 2710, 1835, 823, 2269, 925, 113, 267, 472, 1423, 3087, 11, 2467, 2293, 2263, 1801, 277, 2138, 919, 3113, 2740, 1935, 964, 502, 781, 1649, 2970, 553, 264, 2051, 1190, 1389, 2909, 865, 2662, 1132, 3019, 2770, 3311, 434, 515, 3051, 1592, 2082, 2140, 658, 2595, 566, 3199, 2974, 1778, 1182, 2, 3126, 1278, 1678, 2056, 2101, 1642, 2578],
[2612, 1718, 2853, 989, 2686, 2869, 3278, 2056, 1801, 2774, 793, 476, 276, 3297, 533, 2268, 2306, 507, 32, 1470, 889, 685, 341, 1131, 2929, 1698, 880, 869, 1720, 470, 375, 380, 2541, 1818, 2951, 792, 1033, 2912, 443, 2128, 271, 2744, 1407, 1252, 2667, 544, 3091, 2378, 1892, 1686, 3278, 517, 399, 1573, 1942, 1037, 82, 2526, 958, 2031, 405, 2959, 3169, 204, 625, 2736, 2397, 3148, 1093, 2058, 752, 2022, 3196, 890, 2625, 1031, 2472, 564, 3162, 39, 2309, 714, 2743, 2724, 826, 2890, 1984, 540, 993, 2822, 2741, 1082, 2047, 1620, 2134, 1405, 1282, 2771, 1473, 1882, 2709, 106, 1206, 1946, 1978, 2538, 2256, 1975, 1434, 1651, 537, 900, 2005, 430, 2270, 994, 1757, 2700, 784, 2957, 1675, 2139, 3278, 845, 1405, 86, 3136, 3069, 1535, 3263, 1259, 2131, 341, 105, 1790, 1957, 1727, 631, 2150, 3150, 1981, 2673, 3190, 496, 635, 674, 1617, 2193, 2236, 3192, 1049, 2757, 3203, 2301, 1627, 298, 145, 2531, 700, 828, 1875, 414, 3245, 965, 1563, 1234, 3106, 1618, 2638, 2177, 2684, 2123, 2569, 95, 1793, 2361, 2453, 196, 251, 2301, 1851, 1988, 837, 2740, 937, 1798, 183, 2702, 198, 205, 26, 2505, 641, 1472, 3271, 1467, 2649, 1098, 30, 1524, 1406, 185, 14, 1364, 1047, 1584, 2182, 1160, 2381, 1045, 2472, 17, 630, 730, 612, 2248, 1098, 2496, 181, 2113, 690, 985, 2370, 2211, 226, 1994, 1459, 1645, 2771, 3277, 2230, 2953, 22, 3135, 2967, 1519, 488, 1299, 430, 2557, 2757, 146, 2268, 467, 2096, 2182, 2013, 2743, 1869, 1117, 3326, 769, 3106, 397, 137, 291]],
[[550, 1346, 65, 3260, 365, 436, 431, 1333, 2159, 1739, 1199, 294, 671, 361, 2154, 927, 83, 42, 1028, 402, 3223, 3057, 2718, 2237, 2211, 3109, 565, 2834, 1914, 1935, 1455, 1284, 1244, 1584, 565, 258, 1972, 1700, 1897, 2505, 1257, 2436, 2975, 364, 352, 1334, 736, 3195, 2843, 575, 1460, 448, 2038, 692, 1703, 1059, 2382, 1490, 328, 1689, 2641, 2478, 820, 1548, 2185, 2674, 2416, 3258, 2095, 1639, 2470, 1326, 2538, 1620, 3227, 3296, 726, 567, 1549, 1617, 687, 1984, 12, 1173, 2507, 3017, 688, 1109, 703, 247, 891, 997, 2290, 1086, 2760, 2816, 998, 2921, 2657, 2914, 595, 1186, 2536, 864, 918, 2592, 2904, 809, 700, 2929, 2200, 402, 1605, 263, 2440, 1177, 1306, 2056, 2898, 1111, 1710, 1997, 2983, 1924, 903, 1204, 642, 2756, 751, 691, 455, 3129, 1921, 3137, 584, 2230, 1115, 278, 2811, 395, 1598, 3137, 2356, 142, 1226, 3060, 1647, 3031, 498, 1150, 441, 334, 1432, 609, 2878, 1227, 1778, 1888, 2070, 3279, 1866, 208, 2755, 3175, 153, 3246, 2089, 2556, 1811, 928, 1197, 746, 788, 2953, 1564, 2364, 3022, 2833, 3112, 2502, 3080, 1981, 1585, 1254, 3083, 2670, 151, 2749, 685, 1836, 248, 1297, 203, 1234, 3246, 434, 630, 793, 1119, 3228, 1903, 725, 3218, 2536, 1421, 2918, 2480, 1757, 2321, 1641, 2463, 2715, 1621, 2726, 1373, 2081, 244, 1724, 1758, 1041, 158, 3223, 1646, 2191, 2393, 2520, 658, 520, 17, 1519, 2102, 2603, 637, 3020, 2618, 2201, 3015, 2870, 354, 1936, 2557, 2835, 793, 36, 3212, 1246, 2680, 2975, 283, 2555, 2631, 1941, 2649, 2085, 633, 1263],
[322, 638, 1997, 309, 2643, 406, 3306, 1544, 101, 1685, 1366, 3197, 2937, 1799, 707, 1050, 1924, 3217, 2258, 2127, 1995, 2877, 2495, 1081, 521, 1575, 1341, 57, 2552, 1379, 976, 1729, 2626, 2455, 819, 3014, 644, 1176, 561, 747, 2500, 1358, 2911, 794, 3100, 218, 2730, 975, 1001, 632, 918, 1903, 357, 2755, 2644, 581, 2686, 2692, 55, 888, 65, 2497, 178, 2829, 1162, 1635, 427, 3065, 3157, 464, 3006, 1286, 2396, 2168, 628, 602, 220, 578, 1060, 2274, 2057, 762, 2517, 1550, 3138, 2931, 207, 3327, 2323, 2556, 1208, 1573, 281, 1964, 850, 1708, 2369, 2183, 566, 3024, 1668, 140, 3161, 1117, 79, 1929, 1056, 742, 1685, 489, 1608, 2611, 271, 1645, 3175, 206, 2278, 2206, 1791, 2933, 2768, 3096, 1571, 3210, 2759, 1361, 934, 785, 3116, 136, 1433, 613, 220, 2890, 2745, 1577, 1661, 676, 1296, 2236, 567, 303, 2945, 1198, 2992, 1425, 2762, 1312, 683, 1146, 1207, 1707, 1142, 2796, 2202, 184, 174, 1986, 1031, 1002, 1772, 3020, 1211, 1255, 250, 848, 2432, 2272, 1378, 764, 750, 523, 1310, 1146, 1692, 662, 1993, 691, 273, 1055, 2359, 2521, 806, 1438, 3036, 2348, 3017, 1499, 2933, 2416, 497, 3175, 524, 3312, 2248, 1895, 410, 3259, 1996, 681, 3093, 543, 1088, 1890, 2657, 2648, 2157, 1074, 893, 634, 358, 1859, 608, 1233, 1481, 1745, 3327, 1090, 2564, 1013, 1373, 2318, 3261, 432, 2784, 180, 15, 1956, 2500, 359, 297, 1724, 2404, 2740, 1306, 2973, 2027, 2479, 1947, 2957, 3234, 1838, 2792, 2873, 2814, 1430, 1925, 2999, 2932, 509, 1153, 2091, 808, 1612, 2441, 1342],
[2804, 2793, 2684, 2670, 3135, 2888, 2598, 244, 1960, 480, 3315, 1827, 3014, 782, 1090, 1338, 1933, 995, 3035, 1184, 3324, 417, 198, 746, 1283, 1082, 3039, 1804, 2478, 550, 1206, 1513, 2837, 2730, 807, 57, 746, 2764, 381, 2421, 144, 3315, 2507, 1487, 1443, 1796, 1426, 401, 1108, 2236, 1377, 2427, 307, 542, 1667, 1305, 949, 766, 483, 3130, 3145, 2579, 570, 886, 2129, 2242, 1613, 240, 1463, 351, 3180, 1201, 2740, 781, 3251, 2702, 1764, 1046, 1481, 2888, 2517, 1703, 86, 521, 3078, 2558, 1949, 2410, 1568, 94, 1013, 717, 247, 378, 1952, 1927, 3240, 1392, 782, 3023, 2299, 2478, 1758, 2049, 1710, 3092, 3288, 2593, 1307, 142, 253, 139, 965, 2649, 3034, 148, 2296, 2432, 1096, 2630, 2340, 2238, 2577, 1850, 658, 1307, 2354, 2113, 2006, 1606, 2597, 1571, 2255, 900, 827, 1446, 1876, 3157, 1619, 1027, 188, 989, 2942, 2544, 1386, 1188, 2152, 405, 857, 2565, 1080, 2485, 2802, 254, 219, 1104, 1268, 2522, 1923, 1201, 880, 1130, 1647, 2094, 1792, 3079, 2208, 1577, 1380, 1838, 95, 3022, 3212, 10, 2613, 1079, 85, 2584, 2995, 2772, 991, 929, 2480, 3203, 252, 1570, 919, 2028, 2938, 1477, 2124, 3055, 71, 2687, 2058, 472, 1450, 2294, 3208, 1597, 3015, 2778, 1364, 885, 3003, 721, 634, 3293, 2239, 193, 2675, 3292, 2241, 1013, 396, 764, 2677, 399, 1287, 3282, 2695, 741, 1292, 685, 898, 1101, 2217, 1212, 3132, 1561, 3252, 2329, 2746, 1506, 2007, 3205, 1905, 2177, 1918, 1337, 231, 2530, 1817, 1486, 3086, 3278, 765, 2573, 2295, 2667, 1970, 1762, 588, 2410, 1184, 2318],
[1066, 1563, 2850, 1114, 1007, 2546, 1986, 44, 1719, 974, 2071, 3199, 2394, 2627, 3052, 398, 969, 228, 2661, 2231, 1429, 2042, 135, 2096, 2188, 925, 219, 290, 520, 200, 1983, 1203, 1408, 221, 3309, 2579, 2969, 1439, 3189, 2629, 17, 2245, 2609, 2462, 2363, 2342, 2781, 2824, 365, 826, 2457, 2887, 2586, 970, 1467, 2273, 3085, 2760, 1074, 370, 3166, 1207, 2684, 1012, 2601, 1118, 2237, 3167, 2590, 2677, 1843, 1439, 532, 279, 2557, 2890, 1497, 3032, 302, 822, 2774, 476, 1731, 118, 1270, 1931, 1778, 654, 554, 2135, 1882, 2658, 2467, 1593, 2621, 1646, 3322, 861, 555, 2359, 940, 708, 3157, 2440, 691, 1526, 378, 1709, 1977, 2639, 2704, 2698, 1377, 1228, 2951, 1411, 1947, 1144, 1231, 3020, 2677, 686, 1423, 820, 2296, 2265, 1956, 2072, 1703, 1506, 3098, 842, 1575, 2905, 1311, 2494, 2502, 3119, 1650, 612, 1749, 999, 1293, 2558, 1788, 2612, 223, 2401, 2847, 724, 1873, 2791, 3264, 1623, 2037, 2871, 386, 2840, 807, 2928, 2527, 2828, 754, 1359, 610, 2350, 2819, 512, 1198, 178, 1332, 1548, 984, 496, 892, 2599, 531, 2252, 2437, 1891, 2311, 1479, 1441, 1509, 1675, 402, 1669, 435, 708, 531, 1761, 3132, 1390, 1254, 139, 902, 3300, 3161, 3317, 2413, 2877, 1298, 1532, 1989, 2446, 1919, 1686, 465, 1972, 1929, 2209, 424, 2154, 224, 1231, 2702, 1772, 1218, 1344, 62, 1619, 2557, 187, 1222, 2996, 1431, 1851, 2399, 2976, 1863, 66, 829, 350, 1321, 2616, 2218, 2319, 2242, 762, 212, 664, 1806, 142, 2739, 441, 2362, 449, 2371, 14, 1276, 1829, 692, 1964, 1140, 1891, 2619]],
[[2969, 364, 2109, 2109, 944, 2810, 685, 936, 2351, 942, 3308, 2687, 3264, 2404, 2898, 3092, 197, 3253, 3039, 1696, 3118, 1362, 2478, 824, 131, 1304, 3297, 1659, 2575, 1044, 2588, 434, 1853, 695, 2046, 1330, 1920, 1817, 2042, 1862, 85, 1906, 1526, 455, 356, 1132, 311, 274, 530, 2967, 2344, 1542, 2241, 972, 2078, 3201, 246, 3316, 2083, 803, 2794, 2479, 336, 1961, 256, 1555, 977, 1824, 406, 137, 214, 76, 934, 565, 829, 1875, 929, 657, 2453, 2004, 2087, 2357, 3079, 1666, 1331, 998, 2255, 149, 1473, 3229, 1403, 2448, 1707, 1669, 1533, 3276, 2592, 1923, 610, 171, 2653, 1755, 1461, 1410, 733, 754, 2210, 989, 68, 1132, 2770, 85, 846, 517, 2035, 2926, 1293, 3260, 3022, 2349, 2388, 2678, 720, 1663, 1136, 3251, 2820, 1869, 1909, 1917, 803, 1541, 2507, 2545, 1979, 3058, 333, 2800, 2125, 183, 707, 224, 194, 3064, 1183, 1180, 1473, 1418, 1777, 1888, 1194, 3309, 664, 461, 1616, 2693, 2108, 1873, 1762, 2683, 1165, 641, 2678, 3123, 1182, 1304, 35, 2739, 1252, 951, 1590, 840, 431, 1041, 801, 2808, 2362, 2429, 3017, 2184, 1038, 3280, 2569, 1505, 465, 2804, 1476, 1565, 445, 161, 1878, 939, 1343, 1321, 3163, 1499, 762, 3091, 2383, 271, 544, 1682, 2329, 1278, 1476, 2296, 1642, 2425, 216, 1671, 2340, 2779, 80, 2074, 1357, 3048, 3026, 1090, 2633, 501, 2202, 2825, 2754, 251, 2418, 321, 2937, 1061, 700, 1757, 405, 776, 2517, 2604, 2297, 2399, 1517, 602, 69, 1149, 546, 1629, 978, 1161, 3019, 3245, 596, 2371, 2783, 922, 868, 1828, 1011, 2876, 2194, 1324],
[605, 3270, 1954, 1889, 816, 2873, 3317, 2439, 1484, 10, 1401, 480, 750, 1630, 1261, 2894, 1537, 585, 2060, 1720, 689, 167, 3118, 2117, 1891, 1343, 2247, 2293, 2963, 2725, 295, 826, 2165, 457, 1534, 800, 15, 1560, 1613, 18, 1278, 615, 658, 764, 1759, 1900, 2730, 867, 1718, 2447, 1058, 1082, 3131, 1375, 454, 323, 3292, 2084, 2344, 1914, 392, 2533, 2710, 2623, 1101, 1525, 902, 1585, 1182, 144, 2408, 941, 1478, 2665, 594, 525, 2070, 16, 3091, 2952, 674, 2445, 1922, 2188, 1088, 2951, 1149, 1683, 582, 2391, 1402, 470, 1157, 3296, 1644, 64, 222, 1674, 2554, 1300, 2680, 252, 2116, 2860, 2650, 2779, 1538, 990, 1107, 2635, 445, 3196, 1724, 1318, 2298, 194, 1210, 1719, 1914, 1697, 1510, 2725, 1152, 1256, 2778, 228, 1002, 1033, 1814, 1964, 3083, 2496, 1330, 1627, 1511, 3024, 813, 2026, 2485, 2479, 614, 418, 2968, 1559, 737, 666, 1221, 294, 1398, 417, 82, 362, 1809, 1570, 1869, 2532, 3020, 2954, 720, 2568, 1621, 2879, 482, 2602, 115, 2279, 1977, 2530, 1873, 2981, 2859, 2195, 46, 1816, 1722, 1440, 1565, 612, 2994, 852, 3315, 1549, 1037, 407, 543, 1367, 1913, 1584, 120, 1034, 2850, 2383, 1734, 3135, 2075, 69, 2728, 2146, 1138, 1133, 1603, 902, 2910, 877, 917, 2455, 1082, 539, 2108, 3038, 3166, 2452, 349, 1694, 1681, 1521, 3157, 213, 1189, 2326, 3308, 2460, 1286, 376, 2344, 2709, 2542, 936, 1959, 1549, 2227, 842, 2523, 2345, 406, 805, 593, 497, 1398, 1396, 2357, 146, 1444, 2060, 2618, 2452, 1684, 131, 1969, 2807, 2545, 3324, 866, 838, 2643, 2820],
[3074, 946, 699, 2360, 3284, 869, 2741, 2437, 403, 138, 1479, 3100, 1659, 794, 1730, 1410, 1659, 1924, 2899, 3125, 2395, 2904, 495, 1586, 902, 737, 395, 1954, 434, 1671, 550, 2737, 2514, 541, 2529, 771, 679, 187, 1290, 2656, 1169, 2201, 1620, 1640, 2949, 626, 1693, 2041, 2679, 23, 1627, 957, 1937, 3140, 1007, 1177, 1029, 1386, 1437, 255, 1715, 2096, 2140, 3282, 2835, 3102, 2220, 3253, 3288, 2311, 2584, 1433, 483, 1167, 2153, 664, 1387, 2578, 3116, 3171, 2304, 2681, 1453, 1536, 626, 1647, 2189, 2760, 3134, 1012, 185, 2069, 532, 2209, 3090, 1122, 19, 163, 2718, 132, 2075, 796, 2073, 3196, 2119, 2662, 2339, 2385, 2895, 1772, 1401, 1128, 152, 1561, 1013, 2488, 13, 2187, 2155, 936, 2275, 1749, 102, 1524, 3120, 1219, 1256, 372, 2263, 1886, 959, 621, 1065, 925, 768, 742, 2948, 1238, 2255, 92, 150, 1670, 3324, 1392, 763, 2795, 2843, 949, 1497, 1763, 398, 70, 2841, 2547, 2491, 1320, 2328, 82, 761, 1763, 3107, 1419, 370, 2524, 2667, 3272, 2041, 792, 385, 869, 103, 1282, 503, 2951, 41, 813, 1683, 1899, 2667, 2252, 1887, 779, 192, 2493, 3256, 2260, 2628, 2734, 2317, 2915, 1483, 869, 985, 2107, 61, 2273, 809, 466, 1603, 2916, 2543, 3108, 865, 94, 2696, 1213, 1277, 2696, 674, 2416, 1972, 1388, 2193, 3089, 1189, 795, 2503, 1671, 3111, 1827, 2094, 556, 1585, 69, 2416, 1811, 1675, 3012, 3179, 3242, 124, 2227, 818, 2940, 216, 1151, 1997, 2070, 246, 1955, 2409, 1996, 1279, 951, 2576, 2178, 1884, 1016, 3308, 2614, 303, 2956, 96, 2249, 2331, 2642],
[2345, 807, 563, 1066, 1579, 1614, 317, 261, 674, 1044, 3238, 1330, 1482, 1880, 901, 2270, 2513, 2257, 1636, 869, 2410, 2277, 2542, 951, 2777, 1161, 548, 1812, 168, 674, 1375, 499, 169, 2052, 1243, 2911, 758, 1518, 900, 678, 142, 3063, 335, 968, 947, 190, 1913, 2847, 1250, 1866, 3056, 1092, 2627, 3255, 664, 1583, 1784, 2454, 2131, 1933, 1196, 1688, 909, 3257, 1365, 851, 1262, 2352, 2464, 663, 1514, 2634, 669, 22, 1610, 2040, 1159, 1714, 499, 1388, 2654, 3090, 2542, 1951, 1604, 2515, 1000, 850, 2970, 2874, 1273, 1301, 1883, 1091, 875, 2189, 3144, 439, 2364, 1662, 1898, 507, 2927, 550, 1415, 113, 399, 1726, 3068, 2799, 289, 1040, 2578, 298, 260, 2581, 1007, 2457, 2794, 889, 2573, 2914, 1382, 1941, 619, 2300, 1533, 2698, 707, 1471, 1473, 2151, 14, 655, 1569, 2909, 2369, 3123, 708, 1190, 2025, 1351, 1085, 3021, 1197, 672, 2710, 2010, 1832, 2327, 2061, 1735, 156, 1742, 890, 179, 1182, 1813, 37, 3306, 713, 1251, 3117, 2084, 3099, 2895, 2171, 1954, 2197, 2587, 81, 41, 2295, 650, 370, 2149, 1976, 2025, 2921, 2562, 3043, 2887, 1516, 80, 720, 1344, 373, 744, 1835, 3299, 3260, 12, 467, 1840, 638, 67, 2152, 1866, 192, 387, 3039, 1371, 1095, 2653, 837, 1681, 2058, 1527, 2924, 593, 2474, 2083, 412, 926, 3266, 3065, 701, 1439, 2678, 2344, 3058, 1880, 1698, 2916, 1214, 698, 2859, 2608, 862, 1165, 1053, 480, 1567, 2899, 3046, 2962, 2717, 10, 207, 318, 1383, 1784, 972, 2996, 3242, 174, 3154, 339, 178, 1667, 725, 2915, 1265, 883, 639, 1905]],
[[2365, 1266, 2849, 1275, 548, 561, 1179, 2946, 687, 1099, 2510, 1315, 1438, 2146, 2139, 3288, 139, 3246, 2153, 123, 3115, 1287, 1993, 775, 201, 787, 49, 308, 269, 946, 375, 2129, 767, 1699, 2139, 959, 2959, 2141, 2145, 2681, 2594, 1879, 784, 2516, 2582, 3169, 2886, 2278, 3147, 2971, 1923, 271, 342, 2002, 332, 1386, 2954, 468, 2997, 1087, 1574, 1637, 1068, 281, 2390, 196, 3271, 3318, 663, 3027, 1928, 3164, 2294, 1543, 459, 1702, 2518, 371, 1612, 3081, 3163, 795, 3265, 2508, 3082, 669, 619, 2344, 222, 145, 225, 1602, 742, 348, 2075, 1794, 243, 2857, 1571, 1413, 345, 2659, 1408, 3008, 1022, 470, 457, 933, 1851, 792, 1015, 584, 763, 1668, 2289, 872, 320, 409, 1703, 2836, 46, 2937, 2667, 2075, 2149, 1966, 1755, 437, 1843, 1898, 1686, 1170, 743, 3054, 647, 395, 1672, 1333, 65, 665, 2435, 2133, 2227, 2249, 1211, 1782, 2706, 2030, 2923, 453, 99, 2365, 2452, 2565, 1333, 1762, 292, 485, 626, 736, 1601, 1599, 1779, 1014, 1964, 2591, 2180, 1877, 1835, 2109, 2418, 596, 9, 1309, 1890, 404, 64, 1433, 1348, 389, 1775, 2945, 3034, 3293, 1702, 2862, 72, 1654, 600, 1061, 2456, 2448, 1906, 590, 1943, 608, 1685, 3139, 3047, 2248, 2493, 933, 2476, 1683, 1885, 787, 2348, 542, 2071, 2213, 1807, 2371, 1054, 2942, 63, 2026, 2238, 2692, 3007, 1133, 2669, 2217, 1865, 132, 1424, 991, 2629, 2114, 2353, 988, 2469, 1482, 3309, 1476, 324, 1517, 2860, 684, 2483, 2030, 3273, 1606, 844, 263, 3222, 2916, 484, 3135, 130, 2728, 2211, 406, 655, 3093, 197, 3193],
[1712, 1394, 145, 2844, 1948, 2192, 2370, 513, 2183, 2290, 2056, 2771, 2563, 853, 2403, 2026, 1086, 2065, 1238, 1455, 2215, 304, 2203, 495, 1533, 2888, 965, 1635, 500, 1487, 2013, 2375, 2036, 2000, 2839, 1638, 2278, 3134, 348, 3008, 2404, 914, 1821, 2713, 1155, 1851, 421, 279, 2313, 1096, 175, 2157, 3000, 564, 1670, 2428, 1902, 1705, 3009, 385, 3316, 3151, 1442, 2501, 1764, 512, 2838, 1490, 934, 3216, 136, 1071, 18, 85, 1628, 2685, 537, 588, 2786, 2331, 2683, 1023, 62, 3141, 1856, 2911, 1166, 2158, 152, 336, 1760, 1158, 2198, 2721, 1298, 1070, 337, 2277, 969, 815, 2317, 1358, 3247, 2107, 20, 1832, 696, 1135, 2555, 1022, 2254, 831, 1816, 1057, 3062, 683, 1264, 1502, 3311, 1865, 2802, 606, 14, 888, 1297, 1122, 571, 2968, 288, 1014, 2922, 1087, 1637, 3151, 74, 486, 1663, 1565, 2503, 878, 2585, 1898, 547, 1500, 645, 733, 1120, 2309, 1789, 1921, 3169, 513, 736, 3138, 1980, 1186, 2148, 949, 2970, 2402, 312, 1148, 1260, 297, 2717, 1516, 1280, 2000, 697, 349, 3220, 3050, 1525, 1574, 3032, 733, 263, 2195, 1045, 3095, 2452, 1619, 1128, 1644, 111, 2168, 39, 1699, 2666, 1544, 2845, 985, 2846, 1853, 2182, 287, 320, 426, 2158, 2292, 3131, 1519, 1120, 1319, 1974, 2875, 2684, 2308, 3133, 77, 3209, 1927, 404, 986, 2135, 2576, 169, 2499, 333, 1720, 1293, 695, 1486, 1470, 1089, 3167, 2412, 53, 2799, 2423, 2450, 3245, 437, 2724, 1249, 1404, 2004, 871, 1813, 553, 121, 1390, 713, 478, 3198, 2283, 282, 2391, 945, 135, 1423, 2407, 1598, 597, 933, 1708],
[354, 221, 2080, 3251, 804, 1387, 3049, 56, 2710, 1630, 2480, 1811, 1041, 3195, 2626, 3274, 2785, 30, 2718, 1953, 890, 2750, 1894, 687, 1784, 916, 518, 1460, 1770, 3055, 2914, 1869, 133, 1597, 447, 267, 1985, 225, 2375, 444, 1139, 1324, 2256, 2917, 833, 3125, 1460, 3102, 1848, 1542, 2631, 2467, 2941, 1130, 2903, 12, 1240, 556, 1033, 1161, 1051, 621, 1364, 2550, 2314, 1690, 1176, 1860, 1308, 2842, 550, 2759, 307, 494, 2556, 1049, 972, 1625, 237, 395, 2307, 293, 2621, 1381, 1812, 535, 1591, 39, 195, 1428, 3301, 602, 1505, 2453, 2358, 216, 646, 1965, 1543, 512, 1891, 1687, 1725, 316, 1168, 861, 3247, 1114, 2962, 949, 3211, 2070, 2615, 2693, 3226, 155, 189, 2203, 477, 819, 1655, 377, 364, 551, 1940, 2884, 2704, 2831, 2533, 1099, 1187, 284, 346, 2287, 1431, 236, 3188, 2099, 3302, 29, 2603, 2226, 822, 776, 2037, 2196, 585, 2166, 2966, 1618, 688, 855, 2489, 812, 174, 1221, 1491, 58, 831, 15, 9, 1654, 736, 1996, 2712, 2865, 2057, 162, 1288, 2866, 1368, 3164, 324, 306, 2569, 721, 3250, 375, 57, 1342, 2490, 1421, 377, 1557, 494, 11, 1562, 892, 1332, 915, 1746, 1274, 36, 2471, 1427, 2391, 1327, 1329, 46, 390, 2445, 2152, 3176, 1868, 2831, 1870, 2856, 807, 3001, 3300, 2334, 362, 1147, 712, 3206, 11, 2976, 1392, 2401, 1916, 2246, 2328, 2268, 1670, 52, 949, 791, 911, 1575, 2720, 2983, 293, 1665, 1792, 2998, 920, 2407, 442, 1920, 2204, 1520, 668, 1084, 2588, 1643, 3094, 3178, 1646, 873, 1303, 3115, 226, 950, 381, 1552, 3142],
[2864, 1188, 1418, 1457, 1252, 3318, 531, 2402, 461, 159, 1891, 1633, 744, 1336, 2711, 205, 883, 916, 1815, 1212, 3114, 1381, 2045, 557, 2808, 1461, 2749, 1509, 2502, 491, 2328, 399, 2763, 208, 1072, 1216, 451, 3293, 2945, 3052, 2879, 67, 2180, 1184, 2000, 1534, 2749, 2425, 3139, 2893, 3117, 2580, 2012, 11, 2366, 832, 3264, 2973, 2905, 57, 2431, 548, 2091, 435, 2574, 1466, 57, 627, 591, 2485, 2464, 2641, 238, 725, 2952, 3277, 2062, 1804, 993, 2697, 1415, 114, 2273, 711, 34, 847, 2697, 2394, 2913, 1456, 653, 2849, 138, 2649, 224, 2500, 2097, 77, 1278, 1136, 1607, 689, 2353, 3224, 3281, 248, 2795, 414, 2609, 3216, 961, 2489, 2680, 988, 2596, 1061, 2772, 2266, 1269, 996, 3061, 1473, 373, 1802, 1431, 637, 651, 1875, 351, 317, 2908, 796, 702, 317, 2421, 591, 1893, 443, 575, 3083, 1304, 887, 1312, 1834, 1082, 589, 2385, 1098, 1322, 862, 1974, 1730, 1552, 767, 537, 2304, 524, 1798, 2627, 2330, 644, 2732, 296, 2331, 875, 1402, 2872, 451, 2923, 674, 698, 813, 639, 11, 2256, 3135, 1224, 2430, 2759, 1475, 3222, 2654, 1639, 367, 1966, 404, 2916, 1110, 1374, 3123, 1629, 841, 2582, 2528, 1295, 26, 1476, 1931, 2752, 2170, 3030, 2842, 3309, 2768, 561, 3246, 2396, 3202, 1019, 1043, 578, 1441, 1177, 1047, 2101, 732, 3176, 192, 3109, 2618, 1528, 687, 2795, 1103, 2879, 472, 226, 466, 1802, 1347, 2673, 2096, 602, 1282, 3082, 3085, 1120, 3240, 1802, 1092, 2457, 489, 2875, 1486, 2430, 774, 897, 1392, 2477, 906, 980, 615, 772, 1209, 954, 148]]]

s: [[3327, 3328, 3328, 3327, 2, 1, 1, 1, 3327, 1, 3327, 0, 1, 1, 0, 3328, 3328, 1, 3328, 3328, 0, 1, 2, 0, 3327, 1, 3328, 3328, 0, 1, 1, 1, 3327, 0, 3328, 1, 3328, 1, 3328, 0, 1, 0, 3328, 3328, 0, 0, 3328, 3328, 3328, 3327, 3328, 3327, 1, 0, 3327, 2, 3328, 3327, 3328, 3328, 1, 0, 0, 3327, 1, 1, 3328, 2, 1, 3328, 0, 3328, 3328, 1, 0, 0, 0, 0, 0, 3328, 1, 1, 2, 0, 3328, 0, 0, 3327, 3328, 3328, 0, 0, 0, 1, 0, 0, 1, 1, 0, 3328, 1, 1, 0, 0, 1, 0, 3327, 1, 0, 0, 2, 3328, 0, 0, 3328, 3328, 1, 0, 1, 1, 2, 1, 3328, 1, 1, 0, 0, 1, 0, 0, 0, 3328, 3327, 3327, 2, 0, 1, 0, 1, 2, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 3328, 3328, 0, 0, 0, 3327, 3327, 1, 3328, 0, 0, 3327, 3328, 1, 1, 3328, 0, 1, 0, 1, 1, 3328, 1, 1, 1, 0, 1, 2, 3328, 0, 1, 1, 1, 1, 1, 0, 0, 3327, 0, 3328, 2, 1, 0, 2, 1, 1, 1, 0, 0, 0, 0, 3327, 3328, 0, 1, 3328, 0, 3327, 3328, 0, 0, 3328, 3328, 3328, 3328, 3327, 3328, 0, 3328, 3328, 1, 0, 0, 3328, 0, 0, 0, 3328, 0, 1, 3328, 1, 3328, 1, 3328, 2, 2, 1, 0, 3328, 3328, 3328, 1, 1, 2, 3327, 0, 1, 0, 0],
[3328, 0, 3327, 1, 0, 3327, 1, 3328, 0, 3328, 0, 2, 3327, 3328, 1, 0, 2, 3328, 0, 0, 0, 0, 1, 3327, 3328, 3328, 1, 1, 0, 3328, 0, 3327, 3328, 0, 2, 0, 0, 3327, 3328, 1, 1, 0, 0, 3328, 0, 0, 3328, 1, 1, 3328, 1, 1, 1, 3328, 3328, 2, 0, 1, 3327, 0, 1, 3327, 3328, 0, 3328, 1, 1, 1, 0, 3328, 0, 1, 1, 0, 0, 1, 3328, 0, 3328, 1, 3328, 2, 0, 3328, 1, 3328, 3328, 0, 1, 3328, 0, 3328, 0, 0, 3328, 2, 0, 3328, 0, 1, 1, 3328, 3327, 1, 1, 0, 2, 3328, 0, 0, 0, 1, 1, 0, 3328, 2, 1, 0, 0, 0, 3328, 1, 0, 2, 0, 3328, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 2, 0, 1, 0, 2, 3328, 1, 3328, 3328, 0, 0, 0, 3328, 0, 0, 1, 3327, 3327, 1, 1, 1, 1, 1, 0, 2, 0, 1, 0, 3328, 0, 2, 3327, 3328, 0, 3328, 3328, 3328, 3328, 0, 1, 3327, 0, 1, 3328, 0, 1, 3328, 1, 0, 1, 3328, 0, 1, 1, 3328, 0, 0, 3328, 3328, 3328, 3328, 1, 3328, 1, 2, 0, 0, 2, 2, 0, 1, 1, 3328, 0, 1, 1, 2, 1, 1, 0, 3328, 1, 0, 1, 0, 0, 1, 2, 1, 0, 0, 0, 0, 3328, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 1, 3327, 0, 3327, 1, 0, 3328, 2, 1, 0, 1, 0, 1],
[1, 0, 1, 3328, 1, 3327, 3328, 3328, 1, 0, 1, 1, 0, 3328, 2, 0, 3327, 0, 0, 1, 0, 0, 0, 3327, 0, 0, 3328, 0, 1, 1, 0, 1, 3328, 2, 0, 1, 1, 1, 0, 0, 3327, 2, 0, 0, 0, 1, 1, 1, 3327, 0, 3327, 2, 2, 1, 0, 1, 0, 3328, 0, 3328, 0, 3328, 3327, 1, 3328, 0, 3328, 1, 3328, 0, 3328, 0, 0, 1, 1, 0, 0, 1, 3328, 0, 0, 0, 0, 3328, 0, 0, 0, 1, 0, 1, 3327, 3327, 3328, 3328, 1, 1, 1, 3328, 3328, 1, 1, 1, 3328, 1, 2, 1, 3328, 0, 0, 3328, 3327, 3328, 1, 1, 3328, 1, 0, 1, 0, 3328, 3328, 3328, 3328, 1, 3328, 0, 3328, 3328, 3328, 0, 1, 0, 1, 3328, 0, 1, 0, 3327, 0, 3327, 1, 0, 3328, 1, 3328, 0, 3328, 1, 3328, 0, 0, 2, 0, 1, 1, 3328, 1, 0, 0, 0, 1, 0, 1, 0, 0, 2, 3327, 1, 0, 0, 0, 0, 1, 0, 0, 3328, 1, 3328, 1, 3328, 0, 0, 0, 3328, 1, 3328, 1, 1, 0, 3328, 3328, 0, 0, 2, 3328, 1, 0, 3328, 1, 1, 3328, 1, 1, 3328, 0, 3328, 1, 0, 0, 1, 2, 1, 0, 1, 0, 0, 0, 0, 3328, 1, 3328, 1, 3328, 1, 3328, 0, 0, 0, 1, 3328, 0, 0, 3328, 0, 3328, 3328, 1, 3328, 1, 3328, 3328, 3328, 1, 3328, 2, 0, 0, 3327, 0, 2, 0, 3327, 0, 3328, 1, 3328],
[0, 3328, 2, 1, 1, 1, 1, 0, 3328, 0, 1, 0, 0, 0, 0, 0, 1, 0, 3328, 3328, 2, 1, 1, 1, 3328, 0, 0, 3327, 0, 3327, 1, 3328, 3327, 1, 2, 3328, 1, 3328, 3327, 3328, 3328, 0, 2, 0, 0, 3328, 0, 0, 0, 3327, 0, 0, 3328, 3328, 1, 1, 0, 0, 3328, 0, 0, 0, 0, 0, 0, 3328, 1, 1, 3328, 3328, 0, 1, 2, 0, 0, 2, 0, 0, 3328, 0, 0, 0, 2, 3328, 1, 0, 0, 3328, 3328, 2, 0, 0, 0, 0, 0, 3328, 1, 2, 0, 3328, 0, 3328, 0, 2, 0, 0, 3328, 2, 0, 3328, 3328, 3328, 3328, 1, 1, 1, 3328, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 3328, 0, 0, 0, 1, 0, 3328, 0, 2, 1, 3327, 1, 0, 1, 3328, 2, 1, 0, 3328, 3328, 1, 1, 0, 3328, 2, 0, 1, 0, 3328, 1, 0, 0, 0, 0, 1, 3328, 3327, 0, 0, 0, 1, 3327, 1, 1, 3328, 0, 3328, 0, 0, 3328, 0, 3328, 0, 1, 0, 0, 1, 1, 3327, 1, 0, 2, 1, 3328, 1, 0, 1, 0, 0, 1, 2, 0, 0, 1, 0, 0, 0, 2, 1, 1, 2, 0, 1, 3328, 0, 3327, 3328, 3327, 1, 3328, 3328, 3327, 0, 0, 0, 3328, 2, 0, 0, 1, 3328, 3328, 2, 0, 0, 3328, 3328, 0, 0, 1, 2, 1, 1, 0, 1, 0, 3328, 3327, 3328, 2, 3328, 3328, 3327, 2, 3328, 3327, 2, 1]]

e: [[3327, 0, 0, 3328, 3328, 0, 3328, 1, 3328, 3328, 1, 0, 0, 1, 3328, 3327, 0, 3328, 3328, 1, 0, 3328, 3327, 3328, 1, 3327, 3328, 1, 0, 3328, 0, 1, 3328, 3327, 3328, 2, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 3327, 0, 1, 0, 0, 3328, 3328, 1, 2, 3328, 0, 0, 0, 0, 0, 1, 1, 1, 3328, 1, 0, 3328, 0, 3328, 1, 3328, 3327, 3328, 1, 1, 0, 3328, 3328, 0, 1, 3328, 3328, 0, 0, 1, 3328, 3328, 0, 3328, 0, 3328, 1, 3328, 1, 1, 3328, 3328, 1, 1, 3328, 1, 3328, 0, 1, 3328, 1, 1, 0, 0, 3328, 3328, 1, 0, 0, 1, 0, 1, 3328, 0, 0, 1, 0, 3328, 0, 3328, 0, 1, 0, 1, 2, 0, 3328, 0, 1, 0, 0, 2, 2, 0, 0, 3327, 0, 1, 3328, 3328, 1, 0, 0, 2, 0, 0, 1, 0, 0, 1, 0, 3328, 2, 0, 1, 1, 1, 3328, 3328, 0, 0, 3328, 0, 0, 0, 3328, 0, 3328, 0, 3328, 0, 3328, 0, 3328, 0, 0, 2, 1, 3328, 3328, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 3327, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 3328, 1, 3328, 0, 0, 3328, 3327, 0, 0, 1, 1, 2, 1, 3328, 0, 0, 3328, 3328, 0, 3328, 1, 3328, 1, 0, 3328, 3328, 0, 0, 3328, 0, 3328, 3328, 0, 0, 3328, 3328, 1, 1, 3328, 1, 0],
[3328, 3327, 3328, 3328, 1, 0, 0, 3328, 1, 0, 3328, 1, 3327, 3328, 0, 0, 1, 3328, 0, 2, 0, 1, 0, 3328, 1, 1, 0, 0, 1, 1, 1, 1, 1, 3328, 0, 0, 0, 1, 3328, 1, 1, 1, 3328, 0, 3328, 0, 1, 0, 1, 3328, 0, 3327, 3328, 0, 3328, 3328, 2, 1, 0, 3328, 3328, 0, 0, 3328, 1, 1, 3328, 0, 0, 0, 0, 3328, 3328, 0, 0, 0, 3328, 1, 2, 0, 3328, 1, 1, 3327, 0, 3328, 0, 1, 0, 0, 1, 3327, 1, 0, 0, 0, 3328, 1, 3328, 3328, 0, 0, 0, 1, 3328, 3327, 3328, 0, 1, 3327, 3327, 3328, 0, 1, 1, 1, 0, 1, 0, 2, 3328, 0, 3328, 3328, 0, 0, 3328, 3328, 0, 0, 3328, 3327, 0, 3327, 1, 1, 0, 3328, 3328, 0, 3327, 1, 0, 0, 1, 0, 3328, 0, 1, 3328, 0, 3327, 0, 0, 0, 3328, 0, 0, 2, 1, 1, 0, 1, 1, 1, 1, 3328, 0, 3328, 0, 1, 3327, 0, 3328, 3328, 3328, 1, 2, 1, 1, 3328, 0, 3328, 1, 1, 1, 3327, 0, 1, 3328, 0, 0, 0, 1, 0, 3328, 0, 1, 0, 1, 3328, 0, 0, 0, 1, 3327, 3328, 3327, 3328, 0, 0, 0, 0, 0, 1, 0, 2, 0, 3328, 1, 3328, 2, 0, 0, 3328, 1, 3328, 3328, 2, 0, 0, 0, 3328, 0, 0, 3328, 3328, 3328, 1, 0, 1, 2, 0, 0, 1, 0, 3328, 1, 3328, 3327, 0, 3327, 3328, 3327, 0, 1],
[0, 0, 0, 3328, 1, 0, 3328, 3328, 1, 0, 0, 0, 3328, 3327, 1, 0, 3328, 0, 0, 0, 3327, 3328, 0, 3328, 3327, 0, 3327, 3328, 1, 0, 0, 1, 3327, 3328, 3328, 1, 0, 1, 0, 0, 0, 1, 1, 3328, 0, 1, 0, 0, 3328, 3328, 0, 0, 1, 1, 0, 0, 0, 1, 3328, 3328, 0, 1, 3328, 3328, 1, 0, 1, 3328, 1, 0, 3327, 0, 0, 1, 0, 3328, 0, 2, 3328, 0, 0, 1, 2, 3328, 3328, 0, 0, 0, 3328, 0, 1, 3328, 3328, 3328, 1, 0, 1, 0, 2, 3328, 1, 0, 0, 2, 3328, 3327, 0, 3328, 3328, 1, 0, 0, 1, 1, 2, 0, 3327, 0, 1, 3328, 1, 3328, 0, 0, 3328, 3328, 1, 0, 1, 3328, 1, 3328, 3328, 0, 3327, 0, 3328, 0, 0, 0, 0, 3328, 3328, 0, 0, 3327, 0, 0, 0, 1, 1, 3328, 3327, 0, 3328, 0, 0, 0, 3328, 0, 0, 1, 0, 1, 0, 0, 0, 3328, 1, 2, 0, 3328, 3328, 1, 3328, 3328, 0, 3328, 3328, 1, 0, 3328, 3328, 0, 0, 0, 1, 0, 1, 0, 0, 0, 3328, 1, 1, 0, 0, 1, 3328, 3327, 0, 1, 3328, 3328, 1, 2, 0, 0, 0, 3328, 0, 0, 0, 3328, 1, 1, 3328, 0, 3327, 3328, 3328, 0, 1, 3328, 3328, 3327, 2, 3328, 3327, 1, 0, 3328, 1, 1, 1, 3328, 3328, 3328, 3328, 0, 0, 1, 0, 3328, 0, 3328, 1, 1, 0, 1, 0, 1, 1, 3328, 1, 0],
[1, 3328, 1, 1, 1, 1, 1, 3328, 1, 0, 1, 1, 3327, 0, 0, 3327, 3328, 0, 2, 0, 3328, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 2, 3328, 0, 3328, 1, 1, 3328, 3327, 0, 3328, 3328, 1, 0, 1, 0, 0, 3328, 0, 1, 0, 3328, 3328, 3328, 1, 0, 1, 2, 1, 0, 1, 0, 0, 1, 0, 3328, 3328, 0, 2, 0, 0, 0, 1, 3328, 0, 3328, 1, 1, 3328, 1, 1, 0, 1, 3328, 0, 3328, 3328, 0, 3328, 3328, 0, 0, 1, 0, 0, 3328, 0, 0, 1, 0, 3328, 0, 3328, 1, 3327, 1, 0, 3328, 0, 0, 1, 0, 2, 2, 0, 0, 3328, 1, 0, 0, 0, 1, 3327, 1, 1, 2, 3328, 1, 0, 3328, 2, 1, 0, 3327, 1, 3328, 1, 1, 1, 0, 3327, 0, 2, 1, 0, 0, 1, 2, 3328, 0, 1, 0, 3328, 1, 3328, 0, 3327, 0, 3328, 1, 0, 0, 3328, 0, 0, 0, 0, 1, 0, 1, 0, 3328, 2, 1, 3328, 3327, 1, 3327, 0, 0, 1, 0, 0, 3328, 2, 3328, 3327, 1, 3328, 0, 1, 0, 0, 0, 3328, 0, 3328, 3327, 1, 3327, 0, 0, 3328, 0, 1, 3327, 1, 1, 3328, 0, 0, 0, 0, 0, 0, 2, 2, 0, 1, 0, 0, 1, 0, 3328, 1, 1, 3328, 1, 0, 0, 3328, 0, 0, 0, 0, 3328, 0, 1, 1, 3328, 0, 0, 1, 1, 0, 3328, 3328, 3328, 1, 1, 1, 0, 2, 1, 0, 1]]

sHat: [[138, 2909, 2800, 601, 938, 1497, 2777, 845, 683, 3240, 373, 730, 2406, 2510, 3060, 3240, 2373, 2859, 1243, 436, 1986, 441, 2524, 553, 2229, 3023, 1596, 1920, 1876, 1430, 3079, 2947, 1678, 2978, 465, 2875, 1188, 1702, 2405, 3170, 2610, 2622, 839, 1191, 1339, 2110, 468, 1927, 3081, 1188, 3175, 3008, 3137, 110, 1673, 1383, 1128, 741, 1391, 2673, 1749, 3224, 2786, 1702, 1795, 332, 617, 3164, 2879, 327, 795, 722, 390, 1698, 1829, 2700, 2291, 1318, 3205, 120, 681, 1253, 3041, 2663, 2612, 2592, 1442, 3089, 1514, 536, 1639, 2203, 284, 1644, 2754, 319, 1952, 162, 2082, 841, 19, 2766, 1220, 3060, 576, 2254, 325, 1262, 7, 1268, 2402, 1593, 2409, 2037, 3088, 3103, 3200, 2766, 2733, 1649, 2841, 2554, 1051, 1956, 2785, 713, 2736, 2002, 4, 1554, 1650, 2241, 2639, 2448, 2746, 2367, 1581, 1174, 1256, 2697, 2032, 1973, 1665, 1612, 1411, 2908, 207, 2790, 1141, 1098, 2642, 2486, 1078, 807, 2655, 907, 757, 2403, 2626, 1921, 336, 3089, 989, 2667, 1945, 1111, 987, 3288, 3160, 195, 1857, 3191, 1175, 173, 2383, 2550, 31, 3156, 2625, 3139, 996, 1842, 2889, 1698, 2604, 1030, 877, 2036, 1858, 181, 1118, 2537, 1524, 211, 2538, 199, 2046, 731, 1810, 1304, 895, 638, 3133, 2659, 858, 3233, 878, 3154, 123, 2015, 2976, 2132, 796, 2815, 2977, 2808, 94, 527, 2169, 1394, 1961, 542, 3056, 2545, 3050, 1559, 3118, 1764, 1833, 2352, 102, 555, 2182, 3048, 1578, 2032, 702, 2121, 557, 2061, 1971, 1244, 2042, 1563, 998, 2689, 3168, 1140, 1390, 1121, 1382, 3176, 3221, 858, 2681, 2321],
[1113, 761, 1888, 193, 1186, 3185, 3008, 425, 2891, 3265, 3151, 3172, 13, 431, 2320, 337, 681, 3018, 341, 403, 102, 805, 2524, 1149, 2671, 1979, 432, 1399, 3283, 2499, 2702, 1727, 3280, 906, 3265, 618, 1375, 395, 87, 349, 279, 1334, 2598, 236, 1288, 182, 2726, 1039, 3203, 1970, 332, 2916, 324, 1543, 1570, 1323, 689, 2009, 2389, 2876, 639, 1534, 1562, 1963, 922, 3184, 3072, 2120, 3248, 1175, 1574, 907, 30, 3316, 468, 68, 1298, 387, 1652, 3297, 1731, 3238, 1903, 1787, 2976, 1770, 2610, 616, 3137, 1151, 2012, 1773, 2705, 2380, 305, 2494, 767, 3296, 2146, 3106, 819, 2086, 504, 234, 670, 3214, 1521, 2359, 656, 10, 292, 1466, 2363, 192, 19, 3241, 771, 1940, 1138, 584, 2155, 2381, 1845, 2928, 1958, 507, 2755, 51, 2231, 2106, 1126, 2814, 493, 1397, 1337, 3182, 2719, 616, 2670, 500, 1875, 925, 2352, 2174, 2389, 790, 1835, 50, 3198, 2037, 389, 2, 2754, 875, 328, 2971, 449, 1179, 1526, 226, 2826, 102, 850, 305, 79, 595, 1385, 1463, 3212, 1269, 2300, 182, 503, 392, 1093, 3, 309, 1807, 2224, 2982, 1127, 3130, 1712, 1745, 3075, 2092, 1121, 24, 656, 250, 2970, 483, 1524, 3110, 2290, 721, 2728, 2269, 3131, 2243, 2481, 338, 2551, 1005, 2052, 2125, 1292, 1651, 2597, 1973, 1238, 829, 207, 1665, 1240, 1320, 463, 508, 2969, 1985, 2531, 631, 2774, 2796, 136, 1857, 559, 324, 2443, 1768, 3012, 2910, 820, 2144, 2865, 709, 2846, 1074, 3217, 69, 3156, 3209, 2753, 2889, 2830, 1987, 2865, 1057, 97, 2705, 443, 2267, 2363, 681, 66, 396],
[146, 3049, 2663, 915, 124, 2308, 2884, 2179, 1477, 3165, 357, 250, 1514, 1536, 1597, 579, 2634, 2692, 1513, 1474, 1265, 2792, 873, 1445, 2435, 3097, 1990, 1743, 1266, 675, 2783, 1710, 2884, 2887, 2896, 2465, 1132, 1428, 62, 1083, 1511, 1290, 2095, 1733, 243, 2004, 2795, 247, 3011, 1010, 326, 591, 1372, 2405, 480, 3055, 2009, 515, 1404, 148, 2273, 2445, 1883, 1118, 2557, 3062, 68, 2344, 67, 643, 1470, 2386, 912, 275, 1351, 2153, 2979, 724, 73, 1857, 3088, 1211, 1746, 1337, 3095, 1903, 2869, 1586, 909, 2879, 1443, 801, 1616, 2050, 2974, 3139, 3168, 184, 2092, 1243, 2544, 1468, 704, 1797, 383, 2620, 631, 2891, 2917, 1966, 1117, 1190, 1972, 2258, 1500, 2926, 2846, 2866, 167, 1313, 3157, 2869, 1722, 2364, 751, 1520, 1008, 1328, 1787, 2375, 2651, 2616, 1513, 249, 914, 2071, 391, 3273, 1709, 2181, 2118, 325, 2858, 1234, 1523, 2028, 970, 2769, 1092, 2491, 1635, 3172, 2110, 2318, 2168, 2533, 2462, 2715, 2688, 52, 2751, 631, 1647, 2968, 3175, 1414, 2003, 478, 1836, 1800, 2688, 1556, 345, 1922, 2484, 3188, 2965, 3045, 1164, 767, 1841, 598, 483, 1755, 1365, 635, 719, 811, 2920, 529, 2994, 764, 3120, 1898, 2817, 2901, 2625, 70, 273, 1868, 600, 1049, 2094, 934, 1944, 877, 2797, 1217, 217, 1560, 2173, 528, 3010, 42, 1922, 160, 2657, 273, 2001, 25, 1531, 1453, 1825, 2866, 1572, 2318, 1053, 2440, 1132, 1600, 478, 519, 1455, 260, 2479, 469, 3033, 1947, 3143, 1529, 1960, 328, 2502, 2426, 1812, 1711, 30, 708, 2191, 1187, 1614, 3022, 1492, 1, 3186, 3092],
[2681, 3059, 984, 3117, 243, 914, 1137, 2819, 1551, 727, 1466, 2600, 314, 1375, 3302, 60, 115, 3096, 1245, 2710, 2931, 861, 1207, 1796, 2884, 584, 33, 1570, 1910, 2164, 2533, 938, 72, 1816, 1905, 1818, 3164, 2207, 3260, 2539, 2068, 2145, 2040, 2576, 1785, 2125, 712, 1780, 513, 2178, 3197, 1225, 2599, 1694, 1484, 433, 2381, 2900, 2590, 1253, 1450, 2778, 2822, 2698, 2413, 1071, 1769, 2648, 2517, 519, 3200, 1167, 1539, 2873, 1684, 1672, 2299, 707, 3272, 351, 2119, 3252, 1840, 1611, 543, 1792, 1224, 899, 3252, 991, 281, 608, 88, 1032, 1873, 3015, 1151, 1924, 386, 2741, 1220, 631, 309, 531, 1578, 630, 158, 823, 890, 146, 1277, 2543, 2821, 3033, 2479, 1844, 1957, 1955, 333, 1973, 1447, 1797, 1836, 3267, 1589, 2133, 3136, 2388, 1583, 2027, 2308, 3185, 1421, 2113, 1232, 2345, 84, 1181, 1874, 591, 315, 1039, 808, 3216, 1020, 1847, 2085, 312, 2680, 1916, 1518, 3151, 2837, 63, 2173, 2470, 1112, 2581, 3026, 1620, 1319, 2490, 1691, 2385, 1171, 856, 652, 964, 1145, 1478, 463, 819, 3042, 1201, 1380, 1977, 1556, 1023, 554, 1594, 343, 3115, 610, 2719, 3087, 3271, 1322, 2353, 2409, 2825, 1185, 2443, 2987, 803, 67, 803, 2761, 572, 3080, 1361, 3283, 2769, 2358, 206, 28, 2910, 1276, 1986, 2280, 1084, 2290, 856, 1572, 1611, 506, 2860, 1547, 46, 2721, 2800, 869, 2151, 2944, 267, 1061, 612, 3065, 156, 1441, 1241, 1463, 1382, 34, 2291, 1454, 95, 1196, 2427, 2645, 2292, 2511, 1706, 1413, 1442, 1752, 1348, 800, 2945, 2369, 1301, 1213, 1485, 769, 489, 2238, 997]]
eHat: [[1188, 957, 1854, 1760, 2017, 88, 868, 2372, 693, 1472, 2585, 1400, 703, 433, 285, 1530, 1630, 2272, 151, 2609, 1180, 2761, 644, 2679, 2660, 335, 601, 2078, 3050, 1130, 2149, 3115, 1708, 1655, 1728, 494, 2085, 1845, 398, 1935, 193, 1201, 2097, 1450, 1750, 2345, 444, 1826, 2013, 1078, 2698, 8, 1490, 588, 130, 2570, 497, 2623, 1411, 2635, 466, 697, 1232, 113, 935, 957, 2798, 518, 2017, 171, 3124, 2448, 2324, 433, 1140, 233, 562, 776, 2263, 2529, 2292, 2029, 122, 2008, 1839, 867, 138, 1193, 1029, 2575, 2162, 1872, 291, 1241, 433, 1926, 1072, 2199, 2765, 798, 1817, 1096, 3029, 2758, 995, 1389, 2676, 2342, 2735, 2718, 2927, 827, 3324, 262, 1621, 1702, 2966, 2568, 2212, 3290, 1192, 1794, 1833, 2804, 1974, 1438, 537, 854, 2601, 3328, 2472, 65, 3102, 1983, 1985, 1727, 2215, 3125, 1182, 1622, 1919, 781, 571, 2067, 1131, 208, 1586, 3043, 464, 614, 3057, 3259, 432, 1740, 1201, 2758, 3090, 1868, 9, 2816, 335, 1950, 1187, 107, 955, 1508, 1527, 567, 962, 810, 644, 376, 789, 2117, 146, 2175, 1674, 879, 2940, 3181, 1699, 290, 1965, 197, 1920, 287, 3289, 3003, 165, 1990, 3272, 2143, 724, 1268, 1132, 131, 473, 1610, 2858, 702, 2468, 351, 1270, 335, 2578, 251, 2873, 156, 566, 2502, 2806, 764, 2318, 2692, 2792, 2681, 563, 1522, 1042, 1447, 577, 627, 1958, 0, 1693, 203, 2669, 2636, 16, 2995, 1292, 107, 1634, 818, 2654, 493, 2990, 793, 2980, 2797, 1474, 1209, 2521, 3217, 1852, 1183, 1452, 915, 276, 952, 373, 2961, 377, 2848, 1334, 1992],
[660, 1462, 1225, 231, 1832, 1747, 446, 2909, 2260, 2983, 2541, 3043, 1601, 334, 2664, 576, 2804, 1440, 222, 886, 66, 827, 3269, 932, 622, 525, 2296, 2905, 2910, 1715, 975, 3096, 912, 3042, 816, 499, 3290, 1148, 710, 2164, 2767, 3112, 251, 1747, 359, 1338, 108, 3324, 801, 2445, 221, 156, 576, 3201, 2284, 2898, 2066, 2724, 504, 1961, 1593, 1258, 2258, 1285, 919, 510, 3319, 2749, 2221, 871, 3145, 1993, 2248, 1477, 3079, 2211, 1060, 541, 2461, 486, 2779, 2527, 2636, 3035, 1625, 2428, 1154, 1902, 112, 1179, 1357, 2583, 1665, 650, 3121, 812, 2923, 2451, 1643, 1659, 2761, 2880, 2319, 2781, 600, 1259, 281, 371, 1043, 1112, 746, 1141, 1719, 1515, 3002, 1431, 1716, 2137, 1529, 2076, 3236, 2321, 2396, 2645, 3058, 590, 2011, 2822, 3227, 1063, 1030, 423, 2421, 2647, 1887, 1873, 661, 3080, 3053, 856, 1540, 112, 1608, 151, 1822, 2253, 2260, 2572, 13, 888, 2506, 1945, 651, 360, 1111, 1906, 1704, 2273, 2852, 2268, 2021, 1101, 2451, 11, 1018, 2909, 1157, 1102, 2921, 1325, 2566, 2084, 934, 1191, 2414, 1459, 700, 447, 1178, 843, 2590, 836, 1371, 2535, 2327, 247, 286, 3135, 3043, 3282, 3287, 749, 1565, 922, 522, 2734, 2843, 1879, 1602, 1287, 3306, 3003, 1355, 2699, 2926, 461, 3195, 363, 730, 1433, 2374, 165, 917, 2990, 1976, 847, 2761, 2088, 923, 776, 305, 311, 1511, 2786, 2987, 3298, 687, 626, 344, 130, 2444, 2642, 2218, 1765, 2093, 3202, 2462, 3218, 1164, 3204, 1215, 2887, 3254, 622, 2544, 2340, 2047, 1413, 1246, 1099, 3313, 2317, 601, 2352, 411, 2615],
[153, 1005, 2013, 532, 1130, 2665, 1355, 739, 3165, 2693, 371, 3127, 1007, 1010, 2105, 2202, 956, 1878, 1528, 2279, 221, 2621, 153, 398, 1973, 1308, 1451, 80, 3200, 589, 1017, 2428, 737, 3132, 2638, 487, 1023, 1676, 3103, 2390, 655, 2497, 1654, 2329, 1154, 505, 1204, 1810, 1805, 3262, 785, 353, 994, 658, 2437, 1148, 2197, 3229, 70, 1811, 1271, 162, 2431, 2246, 690, 2678, 1875, 2044, 264, 985, 1210, 2388, 308, 2081, 1676, 2471, 805, 2364, 728, 526, 1248, 3246, 623, 2912, 355, 391, 631, 1596, 542, 1146, 1476, 565, 2831, 1362, 2943, 2944, 2544, 390, 2626, 1996, 1103, 3135, 628, 1411, 2217, 1858, 1445, 2566, 1438, 2031, 2535, 220, 596, 1747, 1331, 2503, 86, 779, 3149, 2835, 2958, 2333, 1812, 604, 7, 472, 2046, 1230, 3019, 2780, 1362, 2592, 918, 1585, 1458, 2473, 3249, 2330, 298, 2364, 2580, 699, 3088, 208, 1969, 2024, 85, 2280, 361, 251, 909, 3156, 196, 3037, 853, 2215, 1397, 1255, 2016, 2247, 163, 3180, 1817, 694, 3254, 2878, 2937, 3280, 1957, 2267, 1003, 2286, 3020, 2037, 2688, 1570, 2071, 352, 2374, 3295, 1935, 2634, 2133, 1590, 2202, 2574, 3140, 2541, 1782, 683, 1009, 1293, 2297, 3325, 2875, 2390, 1811, 2168, 2221, 1348, 1140, 1525, 1503, 1550, 492, 508, 227, 1523, 432, 2674, 896, 1324, 357, 2279, 2312, 3028, 907, 892, 3222, 404, 1767, 105, 2378, 109, 2900, 3090, 1661, 964, 3320, 341, 1636, 724, 2551, 2540, 2273, 1818, 326, 3148, 488, 1760, 706, 221, 3306, 453, 1264, 877, 2571, 3193, 716, 290, 3106, 1728, 2563, 892, 920, 2144],
[688, 1592, 214, 3271, 2431, 1606, 831, 1479, 388, 3003, 2320, 1682, 1456, 3211, 2513, 2272, 1060, 1871, 969, 1896, 648, 3000, 95, 3075, 3277, 386, 363, 470, 294, 1239, 371, 1109, 2835, 138, 2534, 540, 2522, 1460, 3243, 2434, 772, 3161, 3184, 69, 2491, 1174, 344, 973, 2366, 1649, 2468, 1888, 2030, 940, 3055, 712, 1197, 103, 939, 1873, 2083, 1011, 3315, 2546, 2746, 3025, 3218, 279, 1662, 2881, 979, 1158, 2828, 846, 1158, 2539, 1638, 2212, 560, 117, 2418, 2844, 2013, 1115, 970, 1551, 1891, 1294, 332, 1761, 563, 3145, 738, 1892, 3232, 648, 2870, 8, 809, 1136, 2962, 2893, 2419, 3060, 1695, 795, 348, 2859, 2331, 2900, 1581, 2299, 826, 993, 1165, 61, 2560, 3189, 1196, 3274, 690, 1564, 207, 3256, 2970, 1760, 1721, 3136, 1601, 2694, 706, 2503, 2281, 1899, 2084, 1341, 949, 2015, 1584, 2203, 1352, 1384, 1812, 417, 1662, 2599, 2747, 1867, 2197, 903, 3188, 2060, 1078, 601, 1630, 3177, 259, 1388, 1220, 1330, 175, 866, 1614, 902, 1314, 969, 1663, 1014, 1733, 2308, 1780, 3041, 336, 3067, 935, 2283, 2630, 2566, 754, 378, 2058, 1559, 450, 475, 666, 1407, 255, 1817, 2301, 2155, 1624, 59, 2518, 2096, 454, 1, 1817, 1957, 1852, 602, 1822, 1713, 441, 3058, 1699, 761, 338, 3151, 1758, 1360, 823, 2014, 967, 2460, 2305, 2457, 581, 3114, 155, 3225, 337, 2637, 866, 2055, 496, 2471, 2985, 2190, 2676, 2213, 2936, 2675, 296, 736, 1084, 2315, 419, 2485, 165, 1288, 811, 296, 2261, 1224, 1333, 212, 132, 987, 3258, 2750, 2510, 1364, 337, 712, 2877, 766]]
aHat * sHat: [[2509, 65, 2803, 1938, 2517, 130, 780, 1456, 1710, 2897, 2632, 206, 2222, 1377, 281, 188, 1646, 1437, 1397, 693, 2361, 432, 433, 1853, 2559, 3145, 1827, 1581, 2872, 2857, 1481, 771, 79, 900, 1054, 654, 2518, 2823, 2717, 121, 1805, 842, 2412, 2876, 1846, 2327, 2737, 1696, 3282, 938, 2467, 2146, 3162, 2040, 1422, 3259, 1492, 813, 2104, 788, 74, 1714, 589, 522, 356, 1978, 2852, 1744, 1355, 1629, 1549, 2462, 109, 641, 1787, 1186, 3008, 234, 2719, 1125, 2418, 2371, 989, 2567, 2821, 2765, 844, 3211, 2329, 17, 1930, 2225, 2726, 1266, 2860, 185, 397, 1023, 1960, 3303, 3081, 1488, 1182, 12, 3135, 2583, 2960, 1142, 2103, 2273, 427, 2172, 437, 2889, 1326, 1249, 1197, 415, 451, 3116, 204, 2203, 1763, 977, 1392, 178, 1879, 3296, 1653, 2351, 337, 715, 876, 614, 607, 3011, 3041, 2978, 290, 1405, 1653, 3127, 2479, 400, 280, 2364, 3208, 1354, 653, 2828, 540, 2798, 1322, 1238, 1810, 201, 2243, 1455, 997, 2849, 2792, 3048, 2976, 1196, 2340, 90, 1385, 2434, 142, 785, 2909, 1964, 2673, 1363, 1343, 783, 1684, 1128, 2457, 975, 1066, 3219, 936, 2524, 1171, 879, 1458, 375, 1547, 30, 797, 2146, 2668, 2875, 2908, 469, 1581, 537, 2233, 1574, 2653, 2993, 1297, 403, 182, 1458, 707, 1574, 2908, 1924, 61, 2511, 2979, 2427, 2139, 2892, 2317, 12, 1863, 1029, 2977, 232, 1856, 1298, 2159, 164, 308, 622, 777, 1278, 110, 2075, 53, 602, 2071, 3153, 1188, 2864, 2300, 3069, 1683, 2106, 1767, 2426, 720, 606, 85, 2599, 1121, 1081, 479, 3093, 501, 23, 2232, 2098],
[2537, 897, 572, 210, 2232, 2325, 1387, 775, 710, 90, 525, 2028, 337, 17, 1446, 194, 403, 55, 999, 1580, 108, 3272, 1122, 2223, 87, 254, 1628, 685, 971, 2207, 115, 2376, 1808, 172, 3130, 383, 839, 3051, 651, 699, 2169, 1797, 2488, 1839, 2796, 1342, 2781, 326, 1814, 2750, 2071, 566, 1234, 1369, 1969, 1672, 2529, 2526, 611, 1758, 1293, 1086, 2580, 2686, 305, 1446, 1062, 1134, 1101, 2335, 2374, 825, 1170, 3067, 2589, 2963, 767, 226, 1698, 380, 541, 1945, 580, 3275, 1292, 505, 3006, 2175, 936, 1762, 58, 601, 1281, 2612, 787, 1122, 1010, 709, 2885, 1159, 3097, 2951, 1261, 1152, 796, 684, 641, 2114, 254, 2467, 3172, 1802, 2372, 2000, 1055, 449, 865, 2084, 790, 1004, 1841, 1164, 2471, 2075, 1931, 2928, 1326, 3153, 2241, 341, 3111, 1309, 175, 463, 2584, 2710, 2793, 927, 184, 2496, 1891, 274, 716, 306, 3326, 2561, 2985, 552, 1595, 1123, 1198, 2206, 2812, 1713, 1517, 204, 2392, 1559, 631, 1178, 1672, 2249, 1234, 2274, 2316, 1921, 19, 2042, 2009, 1239, 118, 1240, 227, 1241, 383, 2271, 3063, 907, 2712, 1676, 1188, 3196, 2340, 1044, 1673, 1810, 68, 1311, 3177, 2595, 1426, 1713, 883, 2585, 217, 2826, 2840, 2834, 2642, 1455, 1319, 630, 2769, 2696, 306, 2651, 1349, 638, 699, 1428, 2518, 2567, 3112, 2181, 892, 2345, 611, 277, 540, 787, 1865, 1735, 1401, 176, 2015, 2845, 2325, 1442, 3066, 1760, 3096, 2585, 1847, 3098, 1899, 3013, 3013, 511, 2298, 882, 2664, 2613, 1005, 1131, 107, 973, 1277, 3178, 784, 1612, 2523, 3070, 2450, 2506, 1091, 2049],
[1286, 2474, 3112, 1474, 1364, 73, 1088, 2985, 2631, 1792, 2704, 2856, 2219, 3121, 2733, 1009, 1919, 170, 1978, 1755, 2298, 1873, 1170, 2086, 2487, 3196, 2676, 124, 1996, 1409, 2867, 2090, 278, 2976, 978, 352, 2335, 1011, 1617, 2413, 154, 703, 524, 1112, 1297, 1854, 86, 1832, 1767, 364, 93, 326, 2378, 1721, 2619, 1918, 1910, 792, 1415, 195, 1720, 442, 585, 1430, 814, 2148, 950, 3150, 2551, 248, 300, 113, 2210, 3239, 2733, 3110, 236, 871, 1108, 1819, 2916, 434, 443, 95, 1665, 2278, 1861, 564, 259, 1193, 2377, 392, 2864, 765, 269, 2061, 2390, 759, 2932, 3208, 3081, 1817, 671, 730, 2232, 2775, 1005, 1386, 947, 326, 2632, 457, 564, 2842, 306, 2720, 1462, 2998, 26, 76, 818, 998, 2178, 3059, 1235, 863, 2138, 464, 2508, 305, 2325, 1172, 806, 2167, 2414, 2181, 707, 1492, 3202, 986, 1522, 2587, 2389, 2422, 2362, 3025, 1048, 750, 1474, 1506, 561, 2256, 785, 1995, 1803, 2479, 1684, 2729, 920, 2467, 1045, 2941, 1666, 352, 1450, 2104, 2003, 79, 1202, 3052, 1283, 1368, 368, 2651, 0, 1444, 2717, 2244, 528, 3182, 2246, 1781, 1182, 374, 2629, 2137, 748, 0, 700, 1162, 3211, 2030, 157, 3032, 2736, 1949, 2206, 2784, 954, 1091, 2453, 2601, 1851, 1054, 1473, 611, 2299, 355, 1348, 1364, 598, 69, 1358, 2547, 2852, 1053, 1653, 1780, 1099, 998, 3067, 889, 357, 1937, 395, 2587, 381, 628, 534, 296, 2825, 26, 395, 2469, 1008, 2262, 1025, 1, 944, 3035, 1657, 2901, 1125, 1857, 3150, 1075, 935, 1172, 600, 2007, 591, 657, 1267, 113, 2607, 2904],
[1492, 3021, 868, 2511, 2212, 612, 741, 516, 527, 956, 2887, 329, 2931, 235, 1121, 2871, 2234, 2848, 168, 2285, 583, 273, 2453, 2787, 308, 3180, 1259, 83, 2452, 854, 921, 2976, 1043, 2634, 2827, 1084, 1777, 1333, 2958, 941, 89, 630, 2704, 1794, 153, 755, 1741, 3150, 2464, 2928, 3044, 2668, 2674, 198, 2321, 2172, 962, 3121, 500, 2609, 2247, 1648, 2306, 2828, 3169, 740, 879, 2263, 3205, 685, 1918, 392, 304, 2692, 1530, 748, 581, 764, 1906, 2326, 2808, 1968, 2502, 1857, 1177, 1351, 1461, 1738, 1490, 3036, 2270, 2728, 708, 2819, 3304, 878, 2835, 1999, 2785, 3089, 1638, 3225, 1726, 1250, 919, 303, 93, 2273, 271, 2643, 2346, 2748, 694, 2756, 682, 2701, 1563, 1935, 202, 549, 2136, 1819, 305, 3269, 1527, 2651, 2246, 2459, 829, 2887, 2175, 1715, 493, 527, 3041, 3061, 2731, 1034, 1452, 1624, 771, 2293, 1911, 2420, 2167, 2033, 2741, 2052, 915, 1296, 2552, 1709, 2836, 758, 127, 1003, 2200, 1820, 1632, 3021, 1971, 2499, 1329, 1877, 2603, 1366, 1177, 278, 38, 1624, 1455, 1623, 298, 822, 2121, 2852, 2112, 629, 2811, 1500, 870, 774, 963, 1986, 2408, 2541, 967, 780, 899, 1386, 316, 2299, 1539, 1563, 2748, 1273, 492, 1402, 1575, 220, 1279, 3036, 1283, 3077, 153, 657, 3075, 710, 1677, 2587, 1796, 3141, 1175, 1109, 878, 2337, 2597, 2736, 775, 1473, 2503, 1901, 2868, 2165, 225, 2380, 2941, 996, 804, 2727, 244, 1976, 2542, 692, 1334, 31, 450, 1993, 3159, 2896, 2919, 1237, 41, 2559, 3026, 697, 2888, 563, 1026, 841, 2282, 2774, 312, 2848, 1008, 1401]]
tHat = aHat * sHat + eHat: [[368, 1022, 1328, 369, 1205, 218, 1648, 499, 2403, 1040, 1888, 1606, 2925, 1810, 566, 1718, 3276, 380, 1548, 3302, 212, 3193, 1077, 1203, 1890, 151, 2428, 330, 2593, 658, 301, 557, 1787, 2555, 2782, 1148, 1274, 1339, 3115, 2056, 1998, 2043, 1180, 997, 267, 1343, 3181, 193, 1966, 2016, 1836, 2154, 1323, 2628, 1552, 2500, 1989, 107, 186, 94, 540, 2411, 1821, 635, 1291, 2935, 2321, 2262, 43, 1800, 1344, 1581, 2433, 1074, 2927, 1419, 241, 1010, 1653, 325, 1381, 1071, 1111, 1246, 1331, 303, 982, 1075, 29, 2592, 763, 768, 3017, 2507, 3293, 2111, 1469, 3222, 1396, 772, 1569, 2584, 882, 2770, 801, 643, 2307, 155, 1509, 1662, 25, 2999, 432, 3151, 2947, 2951, 834, 2983, 2663, 3077, 1396, 668, 267, 452, 37, 1616, 2416, 821, 925, 2350, 2809, 780, 649, 2597, 2592, 1409, 1927, 2774, 1472, 3027, 243, 579, 3050, 2467, 1411, 2572, 1465, 1068, 1117, 113, 268, 2728, 1754, 2978, 3011, 2959, 2004, 3323, 1006, 2336, 3127, 1669, 834, 1303, 3295, 1598, 2912, 3001, 1104, 1595, 224, 2340, 133, 151, 1489, 2958, 29, 2007, 2068, 827, 2765, 180, 2901, 2721, 3091, 1166, 1418, 49, 1712, 2020, 740, 960, 63, 814, 711, 600, 2054, 2147, 1762, 2276, 1792, 15, 2567, 738, 2760, 1709, 251, 1730, 145, 1097, 2867, 3275, 1968, 1790, 1602, 2244, 2880, 1534, 2905, 2476, 225, 859, 485, 1298, 523, 367, 2977, 3258, 793, 944, 1402, 2182, 1687, 1420, 1396, 317, 849, 328, 1951, 2537, 3157, 3315, 959, 2314, 2572, 1789, 1537, 185, 1397, 2033, 852, 2725, 878, 2871, 237, 761],
[3197, 2359, 1797, 441, 735, 743, 1833, 355, 2970, 3073, 3066, 1742, 1938, 351, 781, 770, 3207, 1495, 1221, 2466, 174, 770, 1062, 3155, 709, 779, 595, 261, 552, 593, 1090, 2143, 2720, 3214, 617, 882, 800, 870, 1361, 2863, 1607, 1580, 2739, 257, 3155, 2680, 2889, 321, 2615, 1866, 2292, 722, 1810, 1241, 924, 1241, 1266, 1921, 1115, 390, 2886, 2344, 1509, 642, 1224, 1956, 1052, 554, 3322, 3206, 2190, 2818, 89, 1215, 2339, 1845, 1827, 767, 830, 866, 3320, 1143, 3216, 2981, 2917, 2933, 831, 748, 1048, 2941, 1415, 3184, 2946, 3262, 579, 1934, 604, 3160, 1199, 2818, 2529, 2502, 251, 604, 1396, 1943, 922, 2485, 1297, 250, 589, 2943, 762, 186, 728, 1880, 2581, 892, 2319, 3080, 1748, 156, 1538, 1391, 1660, 189, 8, 2646, 2139, 1404, 812, 1732, 2596, 3110, 1142, 1254, 125, 678, 3237, 23, 102, 386, 2324, 457, 1819, 1485, 1916, 3124, 1608, 2011, 375, 822, 134, 2073, 2628, 2110, 767, 503, 154, 117, 364, 21, 356, 2285, 5, 1501, 1176, 3144, 1601, 2564, 2684, 3324, 1161, 2432, 2797, 401, 434, 1354, 561, 2519, 449, 703, 382, 250, 671, 2057, 354, 1117, 2891, 2548, 1384, 2462, 2448, 178, 739, 2231, 2354, 1384, 915, 2742, 1296, 304, 795, 2066, 3232, 3112, 1215, 1001, 1429, 2861, 1563, 2732, 700, 1842, 2868, 3192, 43, 2365, 1463, 1563, 2170, 2046, 2912, 2962, 1673, 2814, 3012, 2068, 81, 1890, 2211, 1898, 736, 1534, 663, 2886, 2146, 400, 133, 757, 550, 2171, 930, 1753, 2651, 3313, 3324, 1262, 2030, 2711, 2507, 2058, 3051, 1529, 1502, 1335],
[1439, 150, 1796, 2006, 2494, 2738, 2443, 395, 2467, 1156, 3075, 2654, 3226, 802, 1509, 3211, 2875, 2048, 177, 705, 2519, 1165, 1323, 2484, 1131, 1175, 798, 204, 1867, 1998, 555, 1189, 1015, 2779, 287, 839, 29, 2687, 1391, 1474, 809, 3200, 2178, 112, 2451, 2359, 1290, 313, 243, 297, 878, 679, 43, 2379, 1727, 3066, 778, 692, 1485, 2006, 2991, 604, 3016, 347, 1504, 1497, 2825, 1865, 2815, 1233, 1510, 2501, 2518, 1991, 1080, 2252, 1041, 3235, 1836, 2345, 835, 351, 1066, 3007, 2020, 2669, 2492, 2160, 801, 2339, 524, 957, 2366, 2127, 3212, 1676, 1605, 1149, 2229, 1875, 855, 1623, 1299, 2141, 1120, 1304, 2450, 623, 2385, 2357, 1838, 677, 1160, 1260, 1637, 1894, 1548, 448, 3175, 2911, 447, 2, 661, 334, 1242, 1335, 855, 1694, 2198, 3085, 358, 435, 1724, 423, 543, 1325, 627, 493, 171, 21, 773, 3286, 2148, 2630, 1002, 1720, 1133, 3030, 1835, 1757, 1470, 2083, 981, 1703, 2656, 1365, 3081, 655, 2936, 1385, 1208, 2792, 154, 1046, 1375, 1653, 1611, 30, 3159, 1990, 2286, 325, 59, 1359, 2688, 3014, 1459, 2596, 2902, 3148, 852, 1086, 3315, 1964, 1502, 1382, 559, 2541, 2482, 1845, 891, 3323, 2454, 3028, 2282, 1010, 688, 1623, 3175, 2439, 264, 797, 25, 2604, 1965, 1119, 2526, 1878, 1780, 709, 1494, 1393, 1715, 1497, 1835, 752, 2560, 2672, 992, 1402, 1505, 994, 2735, 2046, 3295, 2348, 2042, 1592, 525, 637, 1132, 750, 2946, 1680, 3281, 751, 1351, 3149, 1432, 1466, 2363, 3122, 1102, 2310, 1085, 1952, 177, 1036, 1316, 2297, 368, 2385, 501, 1005, 198, 1719],
[2180, 1284, 1082, 2453, 1314, 2218, 1572, 1995, 915, 630, 1878, 2011, 1058, 117, 305, 1814, 3294, 1390, 1137, 852, 1231, 3273, 2548, 2533, 256, 237, 1622, 553, 2746, 2093, 1292, 756, 549, 2772, 2032, 1624, 970, 2793, 2872, 46, 861, 462, 2559, 1863, 2644, 1929, 2085, 794, 1501, 1248, 2183, 1227, 1375, 1138, 2047, 2884, 2159, 3224, 1439, 1153, 1001, 2659, 2292, 2045, 2586, 436, 768, 2542, 1538, 237, 2897, 1550, 3132, 209, 2688, 3287, 2219, 2976, 2466, 2443, 1897, 1483, 1186, 2972, 2147, 2902, 23, 3032, 1822, 1468, 2833, 2544, 1446, 1382, 3207, 1526, 2376, 2007, 265, 896, 1271, 2789, 816, 981, 2614, 1098, 441, 1803, 2602, 2214, 598, 1718, 1520, 420, 1847, 2762, 794, 1795, 1398, 494, 2826, 54, 512, 3196, 1168, 1082, 638, 2266, 2430, 2252, 2881, 889, 2774, 2426, 1796, 1073, 351, 3049, 3036, 498, 2123, 348, 394, 2837, 500, 1303, 2159, 590, 3112, 2199, 2411, 440, 585, 1359, 1757, 851, 2459, 3208, 2852, 1022, 2146, 36, 2943, 2779, 588, 2335, 2840, 1292, 1771, 603, 3235, 1335, 634, 560, 3056, 1806, 1413, 3195, 236, 1878, 2928, 2333, 1413, 2461, 3074, 619, 1222, 2597, 3200, 212, 1940, 2358, 728, 330, 3202, 1274, 2309, 30, 98, 822, 3101, 1420, 1724, 2806, 1852, 1418, 84, 532, 106, 618, 2619, 1826, 2142, 240, 3183, 1465, 3178, 2521, 930, 1369, 2840, 1209, 405, 891, 721, 1522, 2597, 3186, 151, 1611, 3180, 1322, 2838, 1428, 2418, 2346, 869, 1149, 3324, 855, 401, 1533, 2302, 454, 1030, 909, 3020, 1550, 955, 262, 1463, 809, 649, 231, 556, 2167]]

ek: 70E13F301517B5A40D70361F6309416067646D2B7136626BCCCC170C66CED490C735344B6277097CA914212A292DD122FBB69FDECA47FAB4532B8C80CEB77F9C543E0BF1536D1C0CAE077E2CA7862B45A410469CC5B706BAE0051CB2961DB7270B75B711698D2B807040D5628129436FBB58F1203F75561465F54257E44D33F512D633431D00A2FB0230C9BB9CDDFC83BD65C97445302186A17223AD21332803B909E5E5671970BBB0F1C4837BB84273BA675AC074C5290B411C2500657059339DE392F9CA308952A2201A588767ADC035BDF33024EA3B9A83C5A0B9C5425D14070C81AADA26BAC3FBB8D4B7CFEE0392375C68427351DFEC63609BBB50B463E04092857009D1E5B81D707D14B833CD4A0B551BAA13EC488A1503B0467EE4023C3FE032C78225063886E2468E00F700072A2EC8DA6AFB206C91904433BBCCB0E76F42468C40EB5F59CB9AE1B035E521510BF216A1ABCB19033B7A658897C65874D5135183149F979E553CCFBFA3900CDA6F01960B75157F5453AA6E73B3ED902F7D7C9305971BDF722E2937169A1BC0FAEB6C92F7150D2330877C5DC5249AAE20302634C5C5B23053521028122542F485A0EAC869223720633651F5B247C662B31A10538CA7491B1437AA74F4282D12974D9C934DF214785B6418468B92E52528C8447A1CA422FA6CC88E28B059F04B23597323F72F3E2336F87C47905CBA655BB73FC32E18D4B78705C782EBCB43E2785C82C5AF24B0E1699CFBC0257475799A539B11A50F4DF2B7FAA20BD8827515CA370F89C0D4C60902F6567CD60B0860A55BC8572C436C246AC276644E7D602AA57C0166201814991C1BD75C7C47C348B67D77613386908144EA83FF721F9A50076C510164D18E05D05D9884C44146A07CCACF890498ED1A19B2A15431729DC1F12B7EA10F9F928062D1454B4B9F68E59990290BE3728B3289569363AB1005131B2381A08CC2BF943E95D5B21BC6AABC2273348BC72BD093B7B5617AE87F602BB989E6AFC44B81512076A3A876E0E25F9762B462081985502F26B287A2936D5B1ACFFCEC4EEE77A9CBA980EB9B5FDE75539F650904677DBE29AB8BB918A3494803ECA59A2C32E5B5C83B0B80B1102CD7D9482B459B6B74491EC30C4BE77C2B524AF7B3AD1F71341DF0A76F255C2903C88208079379930A9513F390126E732A2BB094BFA6BF0A432BCD657DAFCB25C8BB15E0955D099B74FF1A4DE6559CD6797C38C48C1134CA2C979243F3152AF4BBE4D7A6BC09872133920CD23B3EF9848CCC6845D647B5387557736513D58560845192F9265159932E572A88C44E6566760C061C67FCB5BF210095E214DA745357E36996D8C066311BBC761A1FD25273D21EAB50010563CD6468A4EA836B6D64BD2BD76DBE3582D5736A605A5509FC28789B56B884AE9A60415F55674BE601576C7CEE58143BF054806ABCB345A256CBC454E343F3CC7ADE65562FD29EB259737BB3CF9649BDEA283FB07265677C9808D13119C0A2ADF745DE6975F4562CD61557B3965D2B072F000AA7E0A357E1253EAFEA7FDFCC92FA87630DD2276CE42E820B69D1FC2E47D5C498A55B3B29C34E64903D047AB1C04024958F701195F5D13EC6706B8448503A549922A58A24B67C93632756B77D225407316171DEEC56714435CF94CCF4599E00D10E569622BADA820C452F2542ADF08765CA93AE38EB025DE31CFF7974549A7825A831DD054E87B84C5F2547FF47B46F88C99F1548E933A6F4D87F1A4A1B00E39E02D60E51EB603C1C0D807ACDAB08BAA2B99869B75CA2C4B96368B51780BD1EC75B110B9FA66556876C5F48797D090138F754AE30533D36AA44B9B1702A6A8A56626BF0451A37A7AC1A337076E51E0A6B0300C2C790A4437EA28D7EC98C419B37D6AA970417435F91BEDC2B1F4BC8158A51B1F471516FE824287C896B891B49F254DD36359B89C824EB3F6248027FBBAD4CF29118CB50EBB625A37C537A0223F0EB7085B5C7EC607570DB9185D59902BC26C654A2804C0D946793D8A21482AC4F05E9016260331DCC58BC66AF3CA7585440216AA0263B2A725E080F6F9C5B6A9C9DA29355189B4B95B137D1225F252AC797B0646CAC52164B5972A99265D347FC7C3591D15FFE681C06D438CCEB60BB6310B7953289720E2C728730052337ACA7C8521AB44F1E2A049B83E0774C96CD8C876FA675D0923977271B
dk: 8AD0B5F09A25AA935DD9DA34AB82CA75A12D66E99CF48BCA45B9B2DB441BC2971BDC9922B5F8BC3C0678546759073CB88E26BAD1B1B3A4646A6529C632EAA347734A3BE583D47178094C4A670CBC41EC0689765668542E6F15A7D586C9E26A6A03C71469C2C53F7B141B232D86216A25C7A8F36852858C07A9524EE17BA6340AA2A215C1EA852167B6891CC166C2FA13A0270A22983413E0ACC444BF40E28C45E14E07404F62996369597F10FCC180ECACAD1A6719AB9F1B447AE19A2CB02A7D04206172168C4F0A99BAFA932D6649E894A8F0577B81C66483C5B5CF60AE75A444526A9B3674325FBA38F53296421A785011C1DDB3A6997745DB83CD583C0C4177C797D40A4F699F1F40C5413AC4E42373492B6A2C6A406D437F42570B5E949EF4350DEA790CFEB72D1287517FE3273D3CA65A13CA6E23C57BF07DA04B851CF3AFA18BAF5EF020792857A9E721F01B9FEA7B612E4C6E29079366B0228688BE2A067FBE92842DD280B3C74DFAB761E613A8604C476E15466685C695AC35791A9159942F60170CA214C7C09B1A4B1BCC4F4CC60DF01A101915A9A2BC553119665032DCD9476FBA7BB07157D33C9C8EFA6BD0AC38C1AC265FB51857D01517615326CA0E08650BA6FA40832C7B4C41B644716022B652B1927D55C9B37FE25F1AB67A9A03C7008C84B07C4926B6381E40CFD441041235187416CEC366CA6FB76FA0AB6E328A2641FC47DCD76E91CA9431E19BFF02CE6228C2336382F8A10E9EE2C8F1759390A20024A15B3B090C1390CA0343797284246BD8943507B7A6B71FC33A03B7A88366E4AFED515739E5C69F8A266E4A1F53D73930E9875569312B27037E5C7F852100C2BA3648B1B9C1B149F6250E0A6B065213134F302569755B8C5C4FFC680BF7811845340035F170B068BA67A4C3B0166D03CC8261840190A20F9A3B1EF465C2F2182DA8DA8D3B3C8CB12915F7D93E04D8840C3567255A7BD6D433CF1068D88452CFC11F991B7CE37927D6CAAE8810742F42148B896EC4EBB5340386315B2C1E2B43915C04549CC8C19AB40E3B7C311B426110A9BBB18D3B992A42C0189290BE673A397C4090443B88C5D5C565A10FEA05603D36244A4AA8E9255CF184AE69535A8399C1C6F76CF2342ADFEA6A447BB4501B9A6C44593EB043E7A5502F586CF3407DEB7A0FC32B3F46F1245C5596E0F1BED937207C4509E1D8985BE745FD69BF448092433028BE2595903311479586A34B2D49107410BC4BD2965317FC76352B638DF3B3A315325026809E3BC4608C0B2CB84DF0C95BC052707FC1A377B2B465EB7A5D644AB4278DDCE5B61E2BB3A71052555CB3BAC693EF025FF00353FB76945B8AA3E9950F9273818791CCAD56884658142A2B4DF3C57ECA13AD44B49B6346C63EE89078589E9EB9A9804A03BF7A276F86B9676C58D3E71D2C8770804A61592178B449C7955BBE8CF42F316725E3B16D55B527CFB232681B21B2CB2F30AC76015BB5416A0411C1745892412E683A98D736ED1A4CD980617D0821C2AB0282070A611A11D19701FBD55A2127B324E6901D84986C0464DE7120AF4510AF591DD9BB79479C5FA88714C6A99714F76A1E402C8F384A4EE6BCD41500724CC1793ABFD8D3C2F320397134B00F762DBA85A23AF155E6CC037380C1DD64A973DB35B74470448B24212062764787E5A93A48807171A7715CFC89BCBC9E141886F807A1F9D684C8426F0122887D9C4C27EA69CC151B4D49B51E5A4EAAA5AD06ABA86DF942E986A5D5792080FC480396B3948668FB382CC8FC154748CB30B7641F0270C83438B4FC3D1901265880405177BC7F44788251ABC474273531212A66279E70337A2309FDF49E059BBDAF4973A5377A4D517BA755702C37CC355685404C952FB67E0419C78D1584D0949254D04952F7243BF1402803C9FC737325881378CA77EEF5C415FB037D689A5854A1D24B6527A59B9B16959384358C423C79645CCF3133E21B4B64957B14F63F2AA26357B1C262F2A90F7CCC2A15936999B0A1B498AB3B32433032C9CA23081C55D31CAD36E90C1CE0B5FC247CE8C843F2883524B664FAC1B20BE602A10AAF65738680BB10254426F9CB09A1954DB7655622308FAEF505ACB497554A8FCFA96A85255AD846542013B8415951BDD45C01931EBE583E70E13F301517B5A40D70361F6309416067646D2B7136626BCCCC170C66CED490C735344B6277097CA914212A292DD122FBB69FDECA47FAB4532B8C80CEB77F9C543E0BF1536D1C0CAE077E2CA7862B45A410469CC5B706BAE0051CB2961DB7270B75B711698D2B807040D5628129436FBB58F1203F75561465F54257E44D33F512D633431D00A2FB0230C9BB9CDDFC83BD65C97445302186A17223AD21332803B909E5E5671970BBB0F1C4837BB84273BA675AC074C5290B411C2500657059339DE392F9CA308952A2201A588767ADC035BDF33024EA3B9A83C5A0B9C5425D14070C81AADA26BAC3FBB8D4B7CFEE0392375C68427351DFEC63609BBB50B463E04092857009D1E5B81D707D14B833CD4A0B551BAA13EC488A1503B0467EE4023C3FE032C78225063886E2468E00F700072A2EC8DA6AFB206C91904433BBCCB0E76F42468C40EB5F59CB9AE1B035E521510BF216A1ABCB19033B7A658897C65874D5135183149F979E553CCFBFA3900CDA6F01960B75157F5453AA6E73B3ED902F7D7C9305971BDF722E2937169A1BC0FAEB6C92F7150D2330877C5DC5249AAE20302634C5C5B23053521028122542F485A0EAC869223720633651F5B247C662B31A10538CA7491B1437AA74F4282D12974D9C934DF214785B6418468B92E52528C8447A1CA422FA6CC88E28B059F04B23597323F72F3E2336F87C47905CBA655BB73FC32E18D4B78705C782EBCB43E2785C82C5AF24B0E1699CFBC0257475799A539B11A50F4DF2B7FAA20BD8827515CA370F89C0D4C60902F6567CD60B0860A55BC8572C436C246AC276644E7D602AA57C0166201814991C1BD75C7C47C348B67D77613386908144EA83FF721F9A50076C510164D18E05D05D9884C44146A07CCACF890498ED1A19B2A15431729DC1F12B7EA10F9F928062D1454B4B9F68E59990290BE3728B3289569363AB1005131B2381A08CC2BF943E95D5B21BC6AABC2273348BC72BD093B7B5617AE87F602BB989E6AFC44B81512076A3A876E0E25F9762B462081985502F26B287A2936D5B1ACFFCEC4EEE77A9CBA980EB9B5FDE75539F650904677DBE29AB8BB918A3494803ECA59A2C32E5B5C83B0B80B1102CD7D9482B459B6B74491EC30C4BE77C2B524AF7B3AD1F71341DF0A76F255C2903C88208079379930A9513F390126E732A2BB094BFA6BF0A432BCD657DAFCB25C8BB15E0955D099B74FF1A4DE6559CD6797C38C48C1134CA2C979243F3152AF4BBE4D7A6BC09872133920CD23B3EF9848CCC6845D647B5387557736513D58560845192F9265159932E572A88C44E6566760C061C67FCB5BF210095E214DA745357E36996D8C066311BBC761A1FD25273D21EAB50010563CD6468A4EA836B6D64BD2BD76DBE3582D5736A605A5509FC28789B56B884AE9A60415F55674BE601576C7CEE58143BF054806ABCB345A256CBC454E343F3CC7ADE65562FD29EB259737BB3CF9649BDEA283FB07265677C9808D13119C0A2ADF745DE6975F4562CD61557B3965D2B072F000AA7E0A357E1253EAFEA7FDFCC92FA87630DD2276CE42E820B69D1FC2E47D5C498A55B3B29C34E64903D047AB1C04024958F701195F5D13EC6706B8448503A549922A58A24B67C93632756B77D225407316171DEEC56714435CF94CCF4599E00D10E569622BADA820C452F2542ADF08765CA93AE38EB025DE31CFF7974549A7825A831DD054E87B84C5F2547FF47B46F88C99F1548E933A6F4D87F1A4A1B00E39E02D60E51EB603C1C0D807ACDAB08BAA2B99869B75CA2C4B96368B51780BD1EC75B110B9FA66556876C5F48797D090138F754AE30533D36AA44B9B1702A6A8A56626BF0451A37A7AC1A337076E51E0A6B0300C2C790A4437EA28D7EC98C419B37D6AA970417435F91BEDC2B1F4BC8158A51B1F471516FE824287C896B891B49F254DD36359B89C824EB3F6248027FBBAD4CF29118CB50EBB625A37C537A0223F0EB7085B5C7EC607570DB9185D59902BC26C654A2804C0D946793D8A21482AC4F05E9016260331DCC58BC66AF3CA7585440216AA0263B2A725E080F6F9C5B6A9C9DA29355189B4B95B137D1225F252AC797B0646CAC52164B5972A99265D347FC7C3591D15FFE681C06D438CCEB60BB6310B7953289720E2C728730052337ACA7C8521AB44F1E2A049B83E0774C96CD8C876FA675D0923977271BE6E832F2498CA5A3431F40D3187B1ED965FDD6693B37F6EB408A99977AE496447AF65022E0A472ED6388638EA29D82DA68B4CF9FFDF2B67CD708EA5A370C6A7C
